Formal Description of Programming Concepts

Keyphrases

Publications

1989

Luca Cardelli
Typeful Programming. Formal Description of Programming Concepts (1989)
Egidio Astesiano
Inductive and Operational Semantics. Formal Description of Programming Concepts (1989)
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Introduction to Program Verification. Formal Description of Programming Concepts (1989)
Martin Wirsing
Algebraic Specification: Semantics, Parameterization and Refinement. Formal Description of Programming Concepts (1989)
Dines Bjørner
Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM. Formal Description of Programming Concepts (1989)
Manfred Broy
Formalization of Distributed, Concurrent, Reactive Systems. Formal Description of Programming Concepts (1989)
Peter D. Mosses
A Practical Introduction to Denotational Semantics. Formal Description of Programming Concepts (1989)

1987

1982

1977