Volume 15,
Number 1,
January 1993
Volume 15,
Number 2,
February 1993
Volume 15,
Number 3,
March 1993
Volume 15,
Number 4,
April 1993
Volume 15,
Number 5/6,
May/June 1993
- Nachum Dershowitz, Uday S. Reddy:
Deductive and Inductive Synthesis of Equational Programs.
467-494 BibTeX
- Dmitri Boulanger, Maurice Bruynooghe:
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.
495-521 BibTeX
- Arie van Deursen, Paul Klint, Frank Tip:
Origin Tracking.
523-545 BibTeX
- Philippe Clauss, Catherine Mongenet:
Synthesis Aspects in the Design of Efficient Processor Arrays from Affine Recurrence Equations.
547-569 BibTeX
- Douglas R. Smith:
Constructing Specification Morphisms.
571-606 BibTeX
- Christine Paulin-Mohring, Benjamin Werner:
Synthesis of ML Programs in the System Coq.
607-640 BibTeX
- Yukihide Takayama:
QPC_2: A Constructive Calculus with Parameterized Specifications.
641-672 BibTeX
- Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti:
A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.
673-704 BibTeX
- Ritu Chadha, David A. Plaisted:
On the Mechanical Derivation of Loop Invariants.
705-744 BibTeX
- Nachum Dershowitz, Yuh-Jeng Lee:
Logical Debugging.
745-773 BibTeX
- Pierre Flener, Yves Deville:
Logic Program Synthesis from Incomplete Specifications.
778-805 BibTeX
- Amr F. Fahmy, Alan W. Biermann:
Synthesis of Real Time Acceptors.
807-842 BibTeX
Copyright © Sun May 17 00:11:22 2009
by Michael Ley (ley@uni-trier.de)
