skip to content
A discipline of programming Preview this item
ClosePreview this item
Checking...

A discipline of programming

Author: Edsger W Dijkstra
Publisher: Englewood Cliffs, N.J. : Prentice-Hall, ©1976.
Series: Prentice-Hall series in automatic computation.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Dijkstra, Edsger Wybe.
Discipline of programming.
Englewood Cliffs, N.J. : Prentice-Hall, ©1976
(OCoLC)565662199
Document Type: Book
All Authors / Contributors: Edsger W Dijkstra
ISBN: 013215871X 9780132158718
OCLC Number: 1958445
Description: xvii, 217 pages ; 24 cm.
Contents: 0. Executional abstraction --
1. The role of programming languages --
2. States and their characterization --
3. The characterization of semantics --
4. The semantic characterization of a programming language --
5. Two theorems --
6. On the design of properly terminating constructs --
7. Euclid's algorithm revisited --
8. The formal treatment of some small examples --
9. On nondeterminacy being bounded --
10. An essay on the notion: "the scope of variables" --
11. Array variables --
12. The linear search algorithm --
13. The problem of the next permutation --
14. The problem of the Dutch national flag --
15. Updating a sequential file --
16. Merging problems revisited --
17. An exercise attributed to R.W. Hamming --
18. The pattern matching problem --
19. Writing a number as the sum of two squares --
20. The problem of the smallest prime factor of a large number --
21. The problem of the most isolated villages --
22. The problem of the shortest subspanning tree --
23. Rem's algorithm for the recording of equivalence classes --
24. The problem of the convex hull in three dimensions --
25. Finding the maximal strong components in a directed graph --
26. On manuals and implementations --
27. In retrospect.
Series Title: Prentice-Hall series in automatic computation.
Responsibility: Edsger W. Dijkstra.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1958445> # A discipline of programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "1958445" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/410656#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/programmeren_computers> ; # Programmeren (computers)
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/programmation> ; # Programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/programmation_informatique> ; # Programmation informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://dewey.info/class/001.642/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/410656#Topic/computers> ; # Computers
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1976" ;
   schema:creator <http://viaf.org/viaf/17820452> ; # Edsger W. Dijkstra
   schema:datePublished "1976" ;
   schema:description "0. Executional abstraction -- 1. The role of programming languages -- 2. States and their characterization -- 3. The characterization of semantics -- 4. The semantic characterization of a programming language -- 5. Two theorems -- 6. On the design of properly terminating constructs -- 7. Euclid's algorithm revisited -- 8. The formal treatment of some small examples -- 9. On nondeterminacy being bounded -- 10. An essay on the notion: "the scope of variables" -- 11. Array variables -- 12. The linear search algorithm -- 13. The problem of the next permutation -- 14. The problem of the Dutch national flag -- 15. Updating a sequential file -- 16. Merging problems revisited -- 17. An exercise attributed to R.W. Hamming -- 18. The pattern matching problem -- 19. Writing a number as the sum of two squares -- 20. The problem of the smallest prime factor of a large number -- 21. The problem of the most isolated villages -- 22. The problem of the shortest subspanning tree -- 23. Rem's algorithm for the recording of equivalence classes -- 24. The problem of the convex hull in three dimensions -- 25. Finding the maximal strong components in a directed graph -- 26. On manuals and implementations -- 27. In retrospect."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/410656> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/410656#Series/prentice_hall_series_in_automatic_computation> ; # Prentice-Hall series in automatic computation.
   schema:isSimilarTo <http://www.worldcat.org/oclc/565662199> ;
   schema:name "A discipline of programming"@en ;
   schema:productID "1958445" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1958445#PublicationEvent/englewood_cliffs_n_j_prentice_hall_1976> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/410656#Agent/prentice_hall> ; # Prentice-Hall
   schema:workExample <http://worldcat.org/isbn/9780132158718> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB7626231> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1958445> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/410656#Agent/prentice_hall> # Prentice-Hall
    a bgn:Agent ;
   schema:name "Prentice-Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
   schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Series/prentice_hall_series_in_automatic_computation> # Prentice-Hall series in automatic computation.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1958445> ; # A discipline of programming
   schema:name "Prentice-Hall series in automatic computation." ;
   schema:name "Prentice-Hall series in automatic computation" ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Topic/programmation_informatique> # Programmation informatique
    a schema:Intangible ;
   schema:name "Programmation informatique"@en ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/410656#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
   schema:name "Programmeren (computers)"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/17820452> # Edsger W. Dijkstra
    a schema:Person ;
   schema:familyName "Dijkstra" ;
   schema:givenName "Edsger W." ;
   schema:name "Edsger W. Dijkstra" ;
    .

<http://worldcat.org/isbn/9780132158718>
    a schema:ProductModel ;
   schema:isbn "013215871X" ;
   schema:isbn "9780132158718" ;
    .

<http://www.worldcat.org/oclc/565662199>
    a schema:CreativeWork ;
   rdfs:label "Discipline of programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/1958445> ; # A discipline of programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.