Formal program development

Título:

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report

Autor:

Möller, Bernhard

Colaboradores:

Partsch, HelmutSchuman, Steve

Temas:

REUNIONES ; 

Edición:

1a ed.

Localización electrónica:

Serie:

Lecture notes in computer science; 755

Descripción física:

371 p. ; 24 cm.

ISBN:

3540574999

Idioma:

Inglés, 

País:

Alemania

Publicación:

Berlín : Springer, 1993

Puede solicitar más fácilmente el ejemplar con: A.0.2 IFI

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
 --