Controlled mixed computation and its application to systematic development of language-oriented parsers

Authors:
A. P. Ershov;B. N. Ostrovski
Affiliations:
-;-
Venue:
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Year:
1987

Techniques for partial evaluation of imperative languages

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of high-level imperative programming languages with applications in hard real-time systems

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Toward a complete transformational toolkit for compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of LR parsers by partial evaluation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Hybrid partial evaluation

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Hi-index	0.00