Formal Program Development 1993

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): 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 BibTeX

@proceedings{DBLP:conf/ifip2-1/1993,
  editor    = {Bernhard M{\"o}ller and
               Helmuth Partsch and
               Stephen A. Schuman},
  title     = {Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art
               Report},
  booktitle = {Formal Program Development},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {755},
  year      = {1993},
  isbn      = {3-540-57499-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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