default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Program Development 1993
- Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 - Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Introduction. 1-6 - Roland Carl Backhouse, Paul F. Hoogendijk:
Elements of a Relational Theory of Datatypes. 7-42 - Richard S. Bird, Oege de Moor:
From Dynamic Programming to Greedy Algorithms. 43-61 - James M. Boyle, Terence J. Harmer:
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. 62-88 - Martin S. Feather:
Behavior-Oriented Specification in Gist. 89-122 - Bernhard Möller:
Derivation of Graph and Pointer Algorithms. 123-160 - Carroll Morgan:
The Refinement Calculus, and Literate Development. 161-182 - Helmuth Partsch:
Formal Problem Specification on an Algebraic Basis. 183-224 - Peter Pepper:
Program Development in an Algebraic Setting. 225-262 - Alberto Pettorossi, Maurizio Proietti:
Rules and Strategies for Program Transformation. 263-304 - Michel Sintzoff:
Endomorphic Typing. 305-323 - Douglas R. Smith:
Automating the Design of Algorithm. 324-354 - S. Doaitse Swierstra, Oege de Moor:
Virtual Data Structures. 355-371
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-12-29 01:14 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:
