default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
