Abstract is missing.
- Theory of Domains and Nearby (Invited Paper)Yuri Leonidovich Ershov. 1-7
- Predicative Programming - A SurveyJim Grundy. 8-25
- A Three-Valued Logic for RefinementJim Grundy. 26-42
- A Compositional Semantics of Combining Forms for Gramma ProgramsDavid Sands. 43-56
- Algebraic Properties of Loop InvariantsGerald Futschek. 57-66
- An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter PassingWolfgang Reif. 67-80
- Algebraic Modelling of Imperative Languages with PointersAlexandre V. Zamulin. 81-97
- Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)Patrick Cousot, Radhia Cousot. 98-127
- Semantic Analysis of Interval CongruencesFrançois Bourdoncle. 128-141
- Semantic Analysis of Interval CongruencesFrançois Masdupuy. 142-155
- Polymorphic Typing for Call-by-Name SemanticsBruno Monsuez. 156-169
- Logic Program Testing Based on Abstract InterpretationLunjin Lu, Peter Greenfield. 170-180
- Analysis of Some Semantic Properties for Programs of the Applicative Language ALViktor K. Sabelfeld. 181-189
- Communication as Unification in Process Algebras: Operational Semantics (Invited Paper)Philippe Jorrand. 190-216
- Functional Development of Massively Parallel Programs (Invited Paper)Peter Pepper, Jürgen Exner, Mario Südholt. 217-238
- Observing Some Properties of Event StructuresIrina Virbitskaite. 239-250
- The Other Linear Logic (Invited Paper)Mikhail A. Taitslin, D. Arkhangelsky. 251-255
- Duration Calculi: An Overview (Invited Paper)Chaochen Zhou. 256-266
- A Unique Formalism for Specifying and Designing Objects in a Parallel EnvironmentJean Paul Bahsoun, Corinne Servieres, Christel Seguin. 267-280
- On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving QuantifiersArmando Martin Haeberer, Gabriel Baum, Gunther Schmidt. 281-298
- Saturation Replaces Induction for a Miniscoped Linear Temporal LogicRegimantas Pliuskevicius. 299-311
- A Formal Approach to Requirements Engineering (Invited Paper)Friederike Nickl, Martin Wirsing. 312-334
- A Two-Phase Approach to Reverse Engineering Using Formal MethodsGerald C. Gannod, Betty H. C. Cheng. 335-348
- Algebraically Provable Specification of Optimized CompilationsVladimir Levin. 349-362
- Formal Derivation of an Error-Detecting Distributed Data Scheduler Using ChangelingHanan Lutfiyya, Bruce M. McMillin, Alan Su 0002. 363-376
- REAL92: A Combined Specification Language for Real-Time Concurrent Systems and PropertiesV. A. Nepomniaschy, Nikolay V. Shilov. 377-393
- Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper)Bernhard Möller. 394-413
- Automatical Synthesis of Programs with RecursionsAnatoly Petrovich Beltiukov. 414-422
- Parsing in ISBESEerke Boiten. 423-433