A basic abstract semantic algebra
Proc. of the international symposium on Semantics of data types
Two-level semantics and code generation
Theoretical Computer Science - First European Symposium on Programming, Saarbru:9Aicken, W. Germany, March 17:8
Realistic compiler generation
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Action semantics
On the use of LISP in implementing denotational semantics
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Theoretical Computer Science
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Object Oriented Semantics Directed Compiler Generation: A Prototype
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
| Hi-index | 0.00 |