A Discipline of Programming

Pearson Education, Limited, 1976 - 217 Seiten

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.

Im Buch

22 Seiten stimmen mit dem Suchbegriff "post-condition" in diesem Buch überein.

Wo ist der Rest dieses Buches?

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

O EXECUTIONAL ABSTRACTION l	1

THE ROLE OF PROGRAMMING LANGUAGES	7

ON NONDETERMINACY BEING BOUNDED	9

Urheberrecht

18 weitere Abschnitte werden nicht angezeigt.

Andere Ausgaben - Alle anzeigen

A discipline of programming

Edsger Wybe Dijkstra
Auszug - 1976

Häufige Begriffe und Wortgruppen

abort abs(x ALGOL 60 allsix alternative construct argument array variable assignment statement ax.dom ax.hib ax.lob begin glocon boolean C.A.R. Hoare Cartesian product chapter ckey clockwise boundary computation concurrent assignment convex hull decrease defined definition denote domain Dutch national flag edges element empty End of note established Euclid's algorithm execution expression face final state satisfying finite formal function GCD(x given glovar greatest common divisor guaranteed guarded command set guards is true implies initial state satisfying inner block inspected integer introduce invariant relation kfac Linear Search machine maximal strong component mechanism operation pebble possible post-condition predicate transformer privar problem programming language q.high repetitive construct separation of concerns sequence solution space statement list subset syntactic category termination theorem tion ultraviolet branches vertex vertices violet branch vir int array virvar weakest pre-condition wlp(S wp(DO wp(IF wp(S wp(SL y.key

Verweise auf dieses Buch

Aus anderen Büchern

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth,Mark Ryan
Eingeschränkte Leseprobe - 2004

Model Driven Architecture: Applying MDA to Enterprise Computing

David Frankel
Keine Leseprobe verfügbar - 2003

Alle Ergebnisse von Google Books »

Aus Google Scholar

Systematic Software Development Using Vdm

CLIFF B JONES

Computer Sciences Department Universityof Texas at Austin Austin ...

E Allen Emerson

Design And Validation Of Computer Protocols

Gerard J Holzmann

The Temporal

LESLIE LAMPORT - 1994 - ACM TransactIons on Programming Languages and Systems

Alle Suchergebnisse von Google Scholar »

Referenzen von Webseiten

ewDijkstra Archive: Marketing Questionnaire "A Discipline of ...
Title: A Discipline of Programming. 2. Author: Edsger W.Dijkstra (Ph.D., Amsterdam), Burroughs Research Fellow and Professor Extraordinarius at the ...
www.cs.utexas.edu/ ~EWD/ transcriptions/ EWD04xx/ EWD485.html

Dijkstra E W. A discipline of programming. Englewood Cliffs, NJ ...
This was the first book to treat the pro-. gramming. task as a mathematical chal-. lenge. It shows how to derive a program ...
www.garfield.library.upenn.edu/ classics1988/ A1988Q116200001.pdf

A discipline of programming by Edsger Wybe Dijkstra | librarything
All about A discipline of programming by Edsger Wybe Dijkstra. librarything is a cataloging and social networking site for booklovers.
www.librarything.com/ work/ 195689

Formalizing Dijkstra
A Discipline of Programming. Mechanizing programming logics ... A Discipline of Programming. This classic monograph by Dijkstra has several ...
www.cl.cam.ac.uk/ ~jrh13/ slides/ arg-12feb98/ slides.pdf

SSW-Bibliothek / Publikations-Detailinformation
A Discipline of Programming. ISBN: 013215871X. Ausgabe: 1976. Ausgabejahr: 1976. Autor(en): ew Dijkstra. Verlag: Prentice Hall. Publikationstyp: Buch ...
www.ssw.uni-linz.ac.at/ weblib/ Public/ PubDetail.jsp?DetailPubID=170& back_uri=/ weblib/ Public/ PubListe.jsp

A Discipline of Programming, 1st edition
A Discipline of Programming, 1st edition. Purchase this Book · Purchase this Book. Source. Pages: 240. Medium: Paperback. Year of Publication: 1997 ...
portal.acm.org/ citation.cfm?doid=550359

A discipline of programming
A discipline of programming. Authors: Dijkstra, Edsger W. Publication: Prentice-Hall Series in Automatic Computation, Englewood Cliffs: Prentice-Hall, 1976 ...
adsabs.harvard.edu/ abs/ 1976dipr.book.....D

Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius
In 1976 he published a seminal book, A Discipline of Programming, .... In the preface of his book A Discipline of Programming he simply stated disarmingly ...
homepages.cwi.nl/ ~apt/ ps/ dijkstra.pdf

jfkbits: My 1976 Dijkstra book arrives, reminds me of 1773 born sailor
Following the recommendation of a commenter to Proofs, Education and Open Problems, I ordered Dijkstra's "A Discipline of Programming" which arrived ...
jfkbits.blogspot.com/ 2007/ 04/ my-1976-dijkstra-book-arrives-reminds.html

ARM0–0 Programming as a mathematical discipline We identify ...
In his book, “A Discipline of Programming”, Edsger Dijkstra presents a formal system. for deriving programs. It is more or less self-contained in that it ...
www.mathmeth.com/ arm/ arms/ arm0.pdf

Bibliografische Informationen

Titel	A Discipline of Programming Prentice-Hall Series in Automatic Computation Series in Automatic Computation
Autor	Edsger Wybe Dijkstra
Ausgabe	illustriert
Verlag	Pearson Education, Limited, 1976
Original von	University of Michigan
Digitalisiert	16. Nov. 2007
ISBN	013215871X, 9780132158718
Länge	217 Seiten

Zitat exportieren	BiBTeX EndNote RefMan

Über Google Books - Datenschutzerklärung - Allgemeine Nutzungsbedingungen - Hinweise für Verlage - Problem melden - Hilfe - Sitemap - Google-Startseite

Books