Programming Languages and Their Definition Selected Papers

Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Language Design and Programming Methodology Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)

Programming Languages and Systems - Esop'96 Proceedings

Towards a Formal Description of Ada

Programming Languages and Operational Semantics A Concise Overview

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

The Denotational Description of Programming Languages: An Introduction

Algol-like Languages

Description