Formal Methods in Programming and Their Applications 1993: Novosibirsk, Russia

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

Yuri Leonidovich Ershov:
Theory of Domains and Nearby (Invited Paper). 1-7
Jim Grundy:
Predicative Programming - A Survey. 8-25
Jim Grundy:
A Three-Valued Logic for Refinement. 26-42
David Sands:
A Compositional Semantics of Combining Forms for Gramma Programs. 43-56

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

Patrick Cousot, Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). 98-127
François Bourdoncle:
Semantic Analysis of Interval Congruences. 128-141
François Masdupuy:
Semantic Analysis of Interval Congruences. 142-155
Bruno Monsuez:
Polymorphic Typing for Call-by-Name Semantics. 156-169
Lunjin Lu, Peter Greenfield:
Logic Program Testing Based on Abstract Interpretation. 170-180
Viktor K. Sabelfeld:
Analysis of Some Semantic Properties for Programs of the Applicative Language AL. 181-189

Philippe Jorrand:
Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). 190-216
Peter Pepper, Jürgen Exner, Mario Südholt:
Functional Development of Massively Parallel Programs (Invited Paper). 217-238
Irina Virbitskaite:
Observing Some Properties of Event Structures. 239-250

Mikhail A. Taitslin, D. Arkhangelsky:
The Other Linear Logic (Invited Paper). 251-255
Chaochen Zhou:
Duration Calculi: An Overview (Invited Paper). 256-266
Jean Paul Bahsoun, Corinne Servieres, Christel Seguin:
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. 267-280
Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt:
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. 281-298
Regimantas Pliuskevicius:
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. 299-311

Friederike Nickl, Martin Wirsing:
A Formal Approach to Requirements Engineering (Invited Paper). 312-334
Gerald C. Gannod, Betty H. C. Cheng:
A Two-Phase Approach to Reverse Engineering Using Formal Methods. 335-348
Vladimir Levin:
Algebraically Provable Specification of Optimized Compilations. 349-362
Hanan Lutfiyya, Bruce M. McMillin, Alan Su:
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. 363-376
V. A. Nepomniaschy, Nikolay V. Shilov:
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. 377-393

Bernhard Möller:
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). 394-413
Anatoly Petrovich Beltiukov:
Automatical Synthesis of Programs with Recursions. 414-422
Eerke A. Boiten:
Parsing in ISBES. 423-433