| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Computability and Complexity: From a Programming Perspective | | 978-0-262-10064-9 | 1997 |
| Computability theory: an introduction | | 978-0-12-390050-0 | 1973 |
| Logic, Language and Computation: Festschrift in Honor of Satoru Takasu | | 978-3-540-57935-9 | 2008 | Masami Hagiya · Masahiko Sato |
| Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu | | 978-0-387-57935-1 | 1994 | Satoru Takasu · Masami Hagiya |
| Partial Evaluation and Automatic Program Generation | | 978-0-13-020249-9 | 1993 | Carsten K. Gomard · Peter Sestoft |
| Program Flow Analysis: Theory and Applications | | 978-0-13-729681-1 | 1981 | Steven S. Muchnick |
| Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 | | 978-3-540-16446-3 | 2008 | Harald Ganzinger |
| Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January, 1980 | | 978-0-387-10250-4 | 1980 |
| Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages | | 978-0-387-09085-6 | 1978 |
| Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ... Notes in Computer Science , Band 5403) | | 978-3-540-93899-6 | 2009 |