Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An action semantics based on two combinators
Semantics and algebraic specification
Vertical object layout and compression for fixed heaps
Semantics and algebraic specification
Hi-index | 0.00 |