Ergebnisse zu
Compilerbau

Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992

A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Revised Version

A New Tool for Evolutionary Computation

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Introduction to Using the Common Algebraic Specification Language

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

A Lambda Calculus Perspective

Syntactic and Semantic Analysis

Volume II LR(k) and LL(k) Parsing