P. Lee and U. Pleban, "A Realistic Compiler Generator Based on High-Level Semantics", in Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 284--295, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Formal Semantics for the C Programming Language - Nikolaos Papaspyrou Doctoral (1998) (1 citation) (Correct)
Semantically-Sensitive Macroprocessing - Maddox (1989) (12 citations) (Correct)
A Provably Correct Compiler Generator - Palsberg (1992) (14 citations) (Correct)
Mechanical Verification of Compiler Correctness - Stringer-Calvert (1998) (Correct)
An Automatically Generated and Provably Correct Compiler for a.. - Palsberg (1992) (14 citations) (Correct)
Introducing ASF+SDF Using the λ-calculus as Example - van Deursen (1994) (Correct)
FSA/KB: an Object-Oriented Knowledge Base System - Xu, Guo, Qian (Correct)
A literate, executable, denotational semantics of simple C++.. - Joseph Reynolds (Correct)
Automatic Generation and Management of Program Analyses - Yi (1993) (1 citation) (Correct)
Higher Order Logic - Leivant (1994) (9 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC