Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Erich J. Neuhold, Manfred Paul 0001, editors, Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, Springer, 1991.

Conference: ifip21991

Abstract is missing.

A Practical Introduction to Denotational SemanticsPeter D. Mosses. 1-50

Inductive and Operational SemanticsEgidio Astesiano. 51-136

Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDMDines Bjørner. 137-258

Algebraic Specification: Semantics, Parameterization and RefinementMartin Wirsing. 259-318

Formalization of Distributed, Concurrent, Reactive SystemsManfred Broy. 319-262

Introduction to Program VerificationKrzysztof R. Apt, Ernst-Rüdiger Olderog. 363-430

Typeful ProgrammingLuca Cardelli. 431 [doi]

runs on WebDSL