Predicate Calculus and Program Semantics - Rilegato

Dijkstra, Edsger W.; Scholten, Carel S.

Rilegato

ISBN 10: 3540969578 ISBN 13: 9783540969570

Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990

Riassunto

This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.

Dettagli dell?edizione

• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1990
• ISBN 10: 3540969578
• ISBN 13: 9783540969570
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 231