Automatic program development : A tribute to Robert Paige
- Author
- Olivier Danvy, Harry Mairson, Fritz Henglein, …
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Keywords: Computer science / Algorithm Construction / Automatic Program Derivation / C programming language / Program Derivation Systems / Program Specialization / Program Transformation / Algorithm / Algorithms / Automata / Development / Formal specification / Formal specification / Object oriented design / Programming / Software Engineering / Programming / Operating systems / Programming Techniques / Programming Languages, Compilers, Interpreters
