2008/04/14

做掉

結果根本不用走多遠,在 AoP chapter 6 bibliographical remarks 最後一段就提到

The idea that algorithms can be classified through their synthesis is fundamental to this book, and it is a recurring theme in the literature on formal program development. [...] An even more impressive classification of parsing algorithms was undertaken by (Partsch 1986); in (Bird and De Moor 1994) we have attempted to improve over a tiny portion of Partsch's results using the framework of this book.

Bird, R. S. and De Moor, O. (1994).
Relational program derivation and context-free language recognition. In Roscoe, A. W., editor, A Classical Mind: Essays dedicated to C.A.R. Hoare, pages 17--35. Prentice Hall.
Partsch, H. A. (1986).
Transformational program development in a particular problem domain. Science of Computer Programming, 7(2), 99--241.

所以又早就被做掉了 XD。

--
兩篇好像都冷門得要命,很難找 XD。不過第二篇可以在總圖的過期期刊找到。

Labels:

<< 回到主頁