Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1993.
|
| Series: | Lecture notes in computer science ;
755. |
| Subjects: |
Table of Contents:
- Introduction / Bernhard Moller, Helmut Partsch and Steve Schuman
- Elements of a relational theory of datatypes / Roland Backhouse and Paul Hoogendijk
- From dynamic programming to greedy algorithms / Richard Bird and Oege de Moor
- Practical transformation of functional programs for efficient execution: a case study / James Boyle and Terence Harmer
- Behavior-oriented specification in Gist / Martin Feather
- Derivation of graph and pointer algorithms / Bernhard Moller
- The refinement calculus, and literate development / Carroll Morgan
- Formal problem specification on an algebraic basis / Helmut Partsch
- Program development in an algebraic setting / Peter Pepper
- Rules and strategies for program transformation / Alberto Pettorossi and Maurizio Proietti
- Endomorphic typing / Michel Sintzoff
- Automating the design of algorithms / Douglas Smith
- Virtual data structures / Doaitse Swierstra and Oege de Moor.