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. Springer 1993 Lecture Notes in Computer Science 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
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
- 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
- Viktor K. Sabelfeld: Analysis of Some Semantic Properties for Programs of the Applicative Language AL. 181-189
Semantics of Parallelism
- 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
Logic of Programs
- 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
Software Specification and Verification
- 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
Transformational Development and Program Synthesis
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team