Articoli correlati a Predicate Calculus and Program Semantics
Sinossi
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. On structures.- 2. On substitution and replacement.- 3. On functions and equality.- 4. On our proof format.- 5. The calculus of boolean structures.- 6. Some properties of predicate transformers.- 7. Semantics of straight-line programs.- 8. Equations in predicates and their extreme solutions.- 9. Semantics of repetitions.- 10. Operational considerations.- 11. Converse predicate transformers.- 12. The strongest postcondition.
Product Description
Book by Dijkstra Edsger W Scholten Carel S
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2011
- ISBN 10 1461279240
- ISBN 13 9781461279242
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine240
Compra nuovo
Visualizza questo articolo
EUR 95,59
EUR 3,50 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Predicate Calculus and Program Semantics
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2716030029265
Quantità: Più di 20 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9781461279242
Quantità: 10 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781461279242_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Predicate Calculus and Program Semantics
Editore:
Springer New York Sep 2011, 2011
ISBN 10: 1461279240
ISBN 13: 9781461279242
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication. 240 pp. Englisch. Codice articolo 9781461279242
Quantità: 2 disponibili
Immagini fornite dal venditore
Predicate Calculus and Program Semantics
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication. Codice articolo 9781461279242
Quantità: 1 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics
Editore:
Springer-Verlag New York Inc., 2011
ISBN 10: 1461279240
ISBN 13: 9781461279242
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 373. Codice articolo C9781461279242
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Predicate Calculus and Program Semantics
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 4190516
Quantità: Più di 20 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 231 pages. 9.50x6.75x0.50 inches. In Stock. Codice articolo x-1461279240
Quantità: 2 disponibili