![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.