Increasing modularity and language-independency in automatically generated compilers
- 1 December 1983
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 3 (3) , 223-278
- https://doi.org/10.1016/0167-6423(83)90021-7
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- A truly generative semantics-directed compiler generatorACM SIGPLAN Notices, 1982
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Proof of correctness of data representationsActa Informatica, 1972
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967