ask others

Formal Program Development 1993

> Home > Conferences and Workshops > Formal Program Development

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/1993
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/MollerPS93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/MollerPS93
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Introduction. 1-6
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/BackhouseH93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/BackhouseH93
Roland Carl Backhouse, Paul F. Hoogendijk:
Elements of a Relational Theory of Datatypes. 7-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/BirdM93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/BirdM93
Richard S. Bird, Oege de Moor:
From Dynamic Programming to Greedy Algorithms. 43-61
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/BoyleH93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/BoyleH93
James M. Boyle, Terence J. Harmer:
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. 62-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Feather93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Feather93
Martin S. Feather:
Behavior-Oriented Specification in Gist. 89-122
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Moller93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Moller93
Bernhard Möller:
Derivation of Graph and Pointer Algorithms. 123-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Morgan93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Morgan93
Carroll Morgan:
The Refinement Calculus, and Literate Development. 161-182
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Partsch93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Partsch93
Helmuth Partsch:
Formal Problem Specification on an Algebraic Basis. 183-224
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Pepper93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Pepper93
Peter Pepper:
Program Development in an Algebraic Setting. 225-262
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/PettorossiP93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/PettorossiP93
Alberto Pettorossi, Maurizio Proietti:
Rules and Strategies for Program Transformation. 263-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Sintzoff93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Sintzoff93
Michel Sintzoff:
Endomorphic Typing. 305-323
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/Smith93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/Smith93
Douglas R. Smith:
Automating the Design of Algorithm. 324-354
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifip2-1/SwierstraM93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifip2-1/SwierstraM93
S. Doaitse Swierstra, Oege de Moor:
Virtual Data Structures. 355-371

maintained by

at