Jim Grundy Predicative Programming - A Survey. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:8-25 [Conf]

Jim Grundy A Three-Valued Logic for Refinement. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:26-42 [Conf]

David Sands A Compositional Semantics of Combining Forms for Gramma Programs. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:43-56 [Conf]

Gerald Futschek Algebraic Properties of Loop Invariants. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:57-66 [Conf]

Wolfgang Reif An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:67-80 [Conf]

Alexandre V. Zamulin Algebraic Modelling of Imperative Languages with Pointers. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:81-97 [Conf]

Patrick Cousot, Radhia Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:98-127 [Conf]

François Bourdoncle Semantic Analysis of Interval Congruences. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:128-141 [Conf]

François Masdupuy Semantic Analysis of Interval Congruences. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:142-155 [Conf]

Bruno Monsuez Polymorphic Typing for Call-by-Name Semantics. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:156-169 [Conf]

Lunjin Lu, Peter Greenfield Logic Program Testing Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:170-180 [Conf]

Viktor K. Sabelfeld Analysis of Some Semantic Properties for Programs of the Applicative Language AL. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:181-189 [Conf]

Philippe Jorrand Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:190-216 [Conf]

Irina Virbitskaite Observing Some Properties of Event Structures. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:239-250 [Conf]

Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:281-298 [Conf]

Regimantas Pliuskevicius Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:299-311 [Conf]

Vladimir Levin Algebraically Provable Specification of Optimized Compilations. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:349-362 [Conf]

V. A. Nepomniaschy, Nikolay V. Shilov REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:377-393 [Conf]

Bernhard Möller Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). [Citation Graph (0, 0)][DBLP] Formal Methods in Programming and Their Applications, 1993, pp:394-413 [Conf]