閃文集 Ⅲ
220
深影響到後來廣為金融商務使
用的電腦語言
COBOL (Common
Business-Oriented Language
；
參
見圖四
(
左
))
的設計。在哈普的
創見後有人陸續在編譯器的發
展進行研究，例如波黎士
(
Alan
Jay Perlis
；
1922–1990
；
參見圖四
(
右
))
因為在編譯器研究的貢獻成
為第一位圖林獎
(
Turing Award)
的
得主。
而在程式編譯過程，亦有
技術可以驗證程式是否錯誤
(
Code
Verification)
，
這方面研究的先驅者
為伯努力
(
Amir Pnueli
；
1941 –2009
；
參見圖五
)
。
有了伯努力的理論，
後來的軟體工程師就不需像早年的
哈普那麼辛苦的抓蟲啦。
哈普於
1967
年回鍋到海軍
工作，擔任程式語言小組
(
Navy
Programming Languages Group)
的
主任，並因功被升為上校。自
1967
年至
1977
年期間她將海軍所使用的
COBOL
語言標準化。她很早就有遠見，將電腦系統的測試標準化，其
功效在早期的程式語言如
FORTRAN
及
COBOL
最為顯著。最後更融合
主要電腦製造商之間的互通標準。
1985
年，哈普授階為一顆星的海軍
圖四
: (
左
)
COBOL
；
(
右
)
波黎士
(
Alan Jay
Perlis
；
1922 –1990)
Turing Award (1966)
Citation
：
For his influence in the area of
advanced programming techniques and
compiler construction
圖五
:
伯努力
(
Amir Pnueli
；
1941 –2009)
Turing
Award (1996) Citation
：
For seminal work
introducing temporal logic into computing
science and for outstanding contributions to
program and systems verification.