$\newcommand{\defeq}{\mathrel{\mathop:}=}$

2008/04/14

做掉

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.

--

Labels: