|
Conferences in DBLP
- Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
Introduction. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:1-6 [Conf]
- Roland Carl Backhouse, Paul F. Hoogendijk
Elements of a Relational Theory of Datatypes. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:7-42 [Conf]
- Richard S. Bird, Oege de Moor
From Dynamic Programming to Greedy Algorithms. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:43-61 [Conf]
- James M. Boyle, Terence J. Harmer
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:62-88 [Conf]
- Martin S. Feather
Behavior-Oriented Specification in Gist. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:89-122 [Conf]
- Bernhard Möller
Derivation of Graph and Pointer Algorithms. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:123-160 [Conf]
- Carroll Morgan
The Refinement Calculus, and Literate Development. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:161-182 [Conf]
- Helmuth Partsch
Formal Problem Specification on an Algebraic Basis. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:183-224 [Conf]
- Peter Pepper
Program Development in an Algebraic Setting. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:225-262 [Conf]
- Alberto Pettorossi, Maurizio Proietti
Rules and Strategies for Program Transformation. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:263-304 [Conf]
- Michel Sintzoff
Endomorphic Typing. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:305-323 [Conf]
- Douglas R. Smith
Automating the Design of Algorithm. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:324-354 [Conf]
- S. Doaitse Swierstra, Oege de Moor
Virtual Data Structures. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:355-371 [Conf]
|