Systematic software development using VDM
Systematic software development using VDM
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Attribute grammars as a functional programming paradigm
Proc. of a conference on Functional programming languages and computer architecture
The Turing programming language: design and definition
The Turing programming language: design and definition
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The programming language Oberon
Software—Practice & Experience
Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
Foundations of deductive databases and logic programming
The Z notation: a reference manual
The Z notation: a reference manual
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Communications of the ACM
What can we do about the unnecessary diversity of notation for syntactic definitions?
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
An Attribute Grammar for the Semantic Analysis of ADA
An Attribute Grammar for the Semantic Analysis of ADA
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Compiler Construction
Compiling TYPOL with Attribute Grammars
PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Syntactic and Semantic Checking in
Syntactic and Semantic Checking in
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |