Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.):
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings.
Lecture Notes in Computer Science 735 Springer 1993, ISBN 3-540-57316-X
Formal Semantics Methods
Algebraic Specification Methods
- Gerald Futschek:
Algebraic Properties of Loop Invariants.
57-66
- Wolfgang Reif:
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.
67-80
- Alexandre V. Zamulin:
Algebraic Modelling of Imperative Languages with Pointers.
81-97
Semantic Program Analysis and Abstract Interpretation
Semantics of Parallelism
Logic of Programs
Software Specification and Verification
Transformational Development and Program Synthesis
Copyright © Mon Nov 9 23:25:13 2009
by Michael Ley (ley@uni-trier.de)