default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 22
Volume 22, Numbers 1-2, April 1994
- Carroll Morgan:
Foreword: Special Issue on Mathematics of Program Construction. Sci. Comput. Program. 22(1-2): 1-2 (1994) - Roland Carl Backhouse
, J. P. H. W. van den Eijnde, A. J. M. van Gasteren:
Calculating Path Algorithms. 3-19 - Paul H. B. Gardiner, Clare E. Martin, Oege de Moor:
An Algebraic Construction of Predicate Transformers. 21-44 - H. Peter Hofstee:
Distributing a Class of Sequential Programs. 45-65 - Paul F. Hoogendijk, Roland Carl Backhouse:
Relational Programming Laws in the Tree, List, Bag, Set Hierarchy. 67-105 - Geraint Jones, Mary Sheeran:
Designing Arithmetic Circuits by Refinement in Ruby. 107-135 - Johan J. Lukkien:
Operational Semantics and Generalized Weakest Preconditions. 137-155 - Bernhard Möller, Martin Russling:
Shorter Paths to Graph Algorithms. 157-180
Volume 22, Number 3, June 1994
- Bernd Krieg-Brückner:
Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994) - Olivier Danvy:
Back to Direct Style. 183-195 - Fritz Henglein:
Dynamic Typing: Syntax and Proof Theory. 197-230 - Mark P. Jones:
A Theory of Qualified Types. 231-256 - Jean-Marie Larchevêque:
Interprocedural Type Propagation for Object-Oriented Languages. 257-282 - Chris Hankin, Sebastian Hunt:
Approximate Fixed Points in Abstract Interpretation. 283-306 - John Hughes, John Launchbury:
Reversing Abstract Interpretations. 307-326 - Flemming Nielson, Hanne Riis Nielson:
The Tensor Product in Wadler's Analysis of Lists. 327-354
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-07 20:36 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:
