default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 26
Volume 26, Numbers 1-3, May 1996
- Michel Sintzoff:
Editorial (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26(1-3): 1-2 (1996) - Bernhard Möller:
Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26(1-3): 3 (1996) - Roland Carl Backhouse:
Mathematics of Program Construction. 5-9 - Wladyslaw M. Turski:
I Was a Computer. 11-14 - Richard S. Bird:
Functional Algorithm Design. 15-31 - Natarajan Shankar:
Steps Toward Mechanizing Program Transformations Using PVS. 33-57 - Klaus Achatz, Wolfram Schulte:
Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. 59-78 - Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor. 79-97 - Rudolf Berghammer, Burghard von Karger:
Towards a Design Calculus for CSP. 99-115 - Martin Russling:
Deriving a Class of Layer-Oriented Graph Algorithms. 117-132 - Krzysztof R. Apt:
Arrays, Bounded Quantification and Iteration in Logic and Constraing Logic Programming. 133-148 - Anne Kaldewaij, Victor J. Dielissen:
Leaf Trees. 149-165 - Thierry Coquand:
An Algorithm for Type-Checking Dependent Types. 167-177 - Jean-François Monin:
Exceptions Considered Harmless. 179-196 - Sharon Curtis, Gavin Lowe:
Proofs with Graphs. 197-216 - Henk Doornbos, Roland Carl Backhouse:
Reductivity. 217-236 - Marc Frappier, Ali Mili, Jules Desharnais:
A Relational Calculus for Program Construction by Parts. 237-254 - Ketil Stølen:
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication. 255-272
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 2025-11-08 21:57 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:
