Formal Methods in Programming and Their Applications

Keyphrases

Publications

1993

Alexandre V. Zamulin
Algebraic Modelling of Imperative Languages with Pointers. Formal Methods in Programming and Their Applications (1993)
Jean Paul Bahsoun, Corinne Servieres, Christel Seguin
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. Formal Methods in Programming and Their Applications (1993)
Eerke A. Boiten
Parsing in ISBES. Formal Methods in Programming and Their Applications (1993)
Chaochen Zhou
Duration Calculi: An Overview (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Friederike Nickl, Martin Wirsing
A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Valery A. Nepomniaschy, Nikolay V. Shilov
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. Formal Methods in Programming and Their Applications (1993)
Patrick Cousot, Radhia Cousot
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Jim Grundy
A Three-Valued Logic for Refinement. Formal Methods in Programming and Their Applications (1993)
Gerald Futschek
Algebraic Properties of Loop Invariants. Formal Methods in Programming and Their Applications (1993)
Vladimir Levin
Algebraically Provable Specification of Optimized Compilations. Formal Methods in Programming and Their Applications (1993)
Anatoly Petrovich Beltiukov
Automatical Synthesis of Programs with Recursions. Formal Methods in Programming and Their Applications (1993)
Bruno Monsuez
Polymorphic Typing for Call-by-Name Semantics. Formal Methods in Programming and Their Applications (1993)
Lunjin Lu, Peter Greenfield
Logic Program Testing Based on Abstract Interpretation. Formal Methods in Programming and Their Applications (1993)
David Sands
A Compositional Semantics of Combining Forms for Gramma Programs. Formal Methods in Programming and Their Applications (1993)
Philippe Jorrand
Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Mikhail A. Taitslin, D. Arkhangelsky
The Other Linear Logic (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications (1993)
Bernhard Möller
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Yuri Leonidovich Ershov
Theory of Domains and Nearby (Invited Paper). Formal Methods in Programming and Their Applications (1993)
François Bourdoncle
Efficient chaotic iteration strategies with widenings. Formal Methods in Programming and Their Applications (1993)
Irina B. Virbitskaite
Observing Some Properties of Event Structures. Formal Methods in Programming and Their Applications (1993)
Gerald C. Gannod, Betty H. C. Cheng
A Two-Phase Approach to Reverse Engineering Using Formal Methods. Formal Methods in Programming and Their Applications (1993)
Hanan Lutfiyya, Bruce M. McMillin, Alan Su
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. Formal Methods in Programming and Their Applications (1993)
Wolfgang Reif
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. Formal Methods in Programming and Their Applications (1993)
François Masdupuy
Semantic Analysis of Interval Congruences. Formal Methods in Programming and Their Applications (1993)
Jim Grundy
Predicative Programming - A Survey. Formal Methods in Programming and Their Applications (1993)
Regimantas Pliuskevicius
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. Formal Methods in Programming and Their Applications (1993)
Peter Pepper, Jürgen Exner, Mario Südholt
Functional Development of Massively Parallel Programs (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Viktor K. Sabelfeld
Analysis of Some Semantic Properties for Programs of the Applicative Language AL. Formal Methods in Programming and Their Applications (1993)

volume 735, 1993

Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Formal Methods in Programming and Their Applications 735 (1993)