Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer,
1993
|
| Edición: | 1a ed. |
| Series: | Lecture notes in computer science
755 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | 371 p. ; 24 cm. |
| ISBN: | 3540574999 |
Tabla de Contenidos:
- Introduction
- /
- Bernhard Möller, Helmut Parisch, Steve Schuman
- Elements of a relational theory of datatypes /
- Roland Backhouse, Paul Hoogendijk
- From dynamic programming to greedy algorithms
- /
- Richard Bird, Oege de Moor
- Practical transformation of functional programs
- for efficient execution: a case study
- /
- James Boyle, Terence Harmer
- Behavior-oriented specification in Gist /
- Martin Feather
- Derivation of graph and pointer algorithms
- /
- Bernhard Möller
- 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 Peiiorossi, Maurizio Proieili
- Endomorphic typing
- /
- Michel Sinlzoff
- Automating the design of algorithms
- /
- Douglas Smith
- Virtual data structures
- /
- Doaitse Swierstra, Oege de Moor