自動編程

電腦科學中,術語自動編程[1],稱謂一種類型的電腦程式,它基於某種機制生成電腦程式,這允許人類編程者在更高的抽象層次上寫代碼。

在自動編程的嚴格定義上少有一致意見,很大程度上因為它的含義隨着時間而改變。David Parnas在他的關於「自動編程」歷史的出版研究中,指出在1940年代它描述手工處理打孔紙帶的自動化。後來它指稱高階語言FortranALGOL的轉譯。事實上,最老的可辨識為編譯器的程式之一就叫作Autocode英語AutocodeParnas的結論是「自動編程一直就是用比編程者平常用的語言更高層的語言來編程的婉語[2]

程式合成英語Program synthesis是一種類型的自動編程,這裏的過程是基於數學上的要求而從頭做起建立的。

參見

註釋

  1. ^ Ricardo Aler Mur, "Automatic Inductive Programming 互聯網檔案館存檔,存檔日期2016-03-04.", ICML 2006 Tutorial. June 2006.
  2. ^ D. L. Parnas. "Software Aspects of Strategic Defense Systems頁面存檔備份,存於互聯網檔案館)." American Scientist. November 1985.

參照

  • Generative Programming: Methods, Tools, and Applications by Krzysztof Czarnecki and Ulrich W. Eisenecker, Addison Wesley, 2000.

外部連結