Gosling Emacs
Gosling Emacsは、文から文への訂正という古典的問題を解決するために動的計画法を用い、これによって効果的にコードを再表示できることで有名であった。これは洗練されたアルゴリズムを用いるものであった。