Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)
Algebraic Semantics (Lecture Notes in Computer Science, 99)
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Understanding And Writing Compilers: A Do It Yourself Guide
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Exercises in Computer Systems Analysis (Lecture Notes in Computer Science, 35)
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Towards a Formal Description of Ada
