Formal Program Development

Keyphrases

Publications

1993

S. Doaitse Swierstra, Oege de Moor
Virtual Data Structures. Formal Program Development (1993)
Helmuth Partsch
Formal Problem Specification on an Algebraic Basis. Formal Program Development (1993)
Michel Sintzoff
Endomorphic Typing. Formal Program Development (1993)
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
Introduction. Formal Program Development (1993)
James M. Boyle, Terence J. Harmer
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. Formal Program Development (1993)
Bernhard Möller
Derivation of Graph and Pointer Algorithms. Formal Program Development (1993)
Alberto Pettorossi, Maurizio Proietti
Rules and Strategies for Program Transformation. Formal Program Development (1993)
Peter Pepper
Program Development in an Algebraic Setting. Formal Program Development (1993)
Roland Carl Backhouse, Paul F. Hoogendijk
Elements of a Relational Theory of Datatypes. Formal Program Development (1993)
Richard S. Bird, Oege de Moor
From Dynamic Programming to Greedy Algorithms. Formal Program Development (1993)
Carroll Morgan
The Refinement Calculus, and Literate Development. Formal Program Development (1993)
Martin S. Feather
Behavior-Oriented Specification in Gist. Formal Program Development (1993)
Douglas R. Smith
Automating the Design of Algorithm. Formal Program Development (1993)

volume 755, 1993

Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Formal Program Development 755 (1993)