Abstract

syntax : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 28 3.2 Subject languages : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 29 3.2.1 Combinations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 30 3.2.2 CCS subset : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 31 3.2.3 Parameters : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 32 3.3 Functional formulation : : : : : : : : : : : : : : : : : : : : : : : : : : : 33 3.3.1 Extending interpreters : : : : : : : : : : : : : : : : : : : : : : : : 34 3.3.2 Types and recursion : : : : : : : : : : : : : : : : : : : : : : : : : 36 3.3.3 Dynamic semantics : : : : : : : : : : : : : : : : : : : : : : : : : : 37 2 3.3.4 Evaluation by rewriting: An interpreter for CCS : : : : : : : : : 37 3.4 Object Oriented : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 39 3.4.1 Object oriented program representation : : : : : : : : : : : : : : 40 3.4.2 Object oriented language extension : : : ...

Citations

636	Structure and Interpretation of Computer Programs - Abelson, Sussman, et al. - 1985
126	The Theory of Parsing, Translation, and Compiling - Aho, Ullman - 1972
89	Automatic autoprojection of higher order recursive equations - Bondorf - 1991
1	Petersson & Dan Synek. "Concrete Syntax for Data Objects - Aasa, Kent
1	Ren'e Mostert & Boudewijn Haverkort. "Compiler Generation Based on Grammar Inheritance - Aksit