Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Two-level grammar as an implementable metalanguage for axiomatic semantics
Computer Languages
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
Programming logics: an introduction to verification and semantics
Programming logics: an introduction to verification and semantics
Programming languages: concepts and constructs
Programming languages: concepts and constructs
Programming language concepts and paradigms
Programming language concepts and paradigms
The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Formal Specifications of Programming Language: A Panoramic Primer
Formal Specifications of Programming Language: A Panoramic Primer
Using the Synthesizer-Generator to teach principles of programming language semantics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Hi-index | 0.00 |