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

@proceedings{DBLP:conf/ershov/1993,
  editor    = {Dines Bj{\o}rner and
               Manfred Broy and
               Igor V. Pottosin},
  title     = {Formal Methods in Programming and Their Applications, International
               Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July
               2, 1993, Proceedings},
  booktitle = {Formal Methods in Programming and Their Applications},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {735},
  year      = {1993},
  isbn      = {3-540-57316-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Semantics Methods

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

Algebraic Specification Methods

• Gerald Futschek: Algebraic Properties of Loop Invariants. 57-66 BibTeX
• Wolfgang Reif: An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. 67-80 BibTeX
• Alexandre V. Zamulin: Algebraic Modelling of Imperative Languages with Pointers. 81-97 BibTeX

Semantic Program Analysis and Abstract Interpretation

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

Semantics of Parallelism

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

Logic of Programs

• Mikhail A. Taitslin, D. Arkhangelsky: The Other Linear Logic (Invited Paper). 251-255 BibTeX
• Chaochen Zhou: Duration Calculi: An Overview (Invited Paper). 256-266 BibTeX
• Jean Paul Bahsoun, Corinne Servieres, Christel Seguin: A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. 267-280 BibTeX
• 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 BibTeX
• Regimantas Pliuskevicius: Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. 299-311 BibTeX

Software Specification and Verification

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

Transformational Development and Program Synthesis

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