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]