Science of Computer Programming
, Volume 34
Volume 34, Number 1, April 1999
Marc Andries
,
Gregor Engels
,
Annegret Habel
,
Berthold Hoffmann
,
Hans-Jörg Kreowski
,
Sabine Kuske
,
Detlef Plump
,
Andy Schürr
,
Gabriele Taentzer
:
Graph Transformation for Specification and Programming.
1-54
Uwe Meyer
:
Correctness of On-Line Partial Evaluation for a Pascal-Like Language.
55-73
Volume 34, Number 2, June 1999
Laura Semini
,
Carlo Montangero
:
A Refinement Calculus for Tuple Spaces.
79-140
Joseph M. Morris
,
Alexander Bunkenburg
:
A Logic for Reasoning Equationally in the Presence of Partiality.
141-158
Volume 34, Number 3, July 1999
Egidio Astesiano
,
Gianna Reggio
,
Elena Zucca
:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
163-190
Eric C. R. Hehner
:
Specifications, Programs, and Total Correctness.
191-205
Mauricio Osorio
,
Bharat Jayaraman
,
David A. Plaisted
:
Theory of Partial-Order Programming.
207-238
Last update Mon Feb 13 04:56:06 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
Data released under the ODC-BY 1.0 license — See also our legal information page