skip to content
The design of well-structured and correct programs Preview this item
ClosePreview this item
Checking...

The design of well-structured and correct programs

Author: Suad Alagić; Michael A Arbib
Publisher: New York : Springer-Verlag, ©1978.
Series: Texts and monographs in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
Examples given written in Pascal.
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Alagić, Suad, 1946-
Design of well-structured and correct programs.
New York : Springer-Verlag, ©1978
(OCoLC)557851536
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Suad Alagić; Michael A Arbib
ISBN: 0387902996 9780387902999 3540902996 9783540902997
OCLC Number: 3542182
Notes: "Portions of the material, in rather different form, appeared in Alagić's Serbo-Croatian text Principi programiranja."
Includes indexes.
Description: x, 292 pages : illustrations ; 25 cm.
Contents: 1 Introducing Top-down Design.- 1.1 The Idea of Top-down Design.- 1.2 An Example: The Greatest Common divisor.- 1.3 Programming Language and Machine Language.- 2 Basic Compositions of Actions and Their Proof Rules.- 2.1 Relations for Program Correctness.- 2.2 Logical Formulas and Pascal Expressions.- 2.3 Proof Rules for Simple Statements.- 2.4 Compound and Conditional Statements.- 2.5 Repetitive Statements.- 2.6 Summary of Basic Proof Rules.- 2.7 Using the Basic Proof Rules.- 2.8 Correct Termination of Algorithms.- Exercises.- 3 Data Types.- 3.1 Introduction.- 3.2 A Primer on Set Theory.- 3.3 Scalar Types and Simple Types.- 3.4 Arrays, Records, and Files.- 3.5 Processing Arrays.- 3.6 Processing Files and Records.- 3.7 Set Manipulation in Pascal.- Exercises.- 4 Developing Programs with Proofs of Correctness.- 4.1 Introduction.- 4.2 Squares and Palindromes.- 4.3 Sorting Arrays and Files.- 4.4 Manipulating Sets.- Exercises.- 5 Procedures and Functions.- 5.1 Procedures and Functions.- 5.3 Functions and Their Proof of Correctness.- 5.4 Proofs of Correctness of Procedures.- Exercises.- 6 Recursion.- 6.1 Introduction.- 6.2 Design and Correctness of Recursive Procedures.- 6.3 Recursive Data Types.- 6.4 Recursive Algorithms and Recursive Data Structures.- Exercises.- 7 Programming with and without Gotos.- 7.1 Goto Statements.- 7.2 Proof Rules for Gotos.- 7.3 Return Exits and the Algorithm Find.- 7.4 Failure Exits and the Algorithm Lookup.- 7.5 Loops with Exits in the Middle.- Exercises.- References.- Appendixes.- Index of Algorithms.- Author Index.
Series Title: Texts and monographs in computer science.
Responsibility: Suad Alagić, Michael A. Arbib.
More information:

Abstract:

An analysis of recent research in top-down program design and verification of program correctness, which describes how these techniques can be used in normal programming. Using the PASCAL programming  Read more...

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/3542182> # The design of well-structured and correct programs
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "3542182" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programozasi_nyelv_pascal> ; # programozási nyelv--PASCAL
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/pascal_computer_program_language> ; # PASCAL (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmierung> ; # Programmierung
    schema:about <http://dewey.info/class/001.642/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/strukturierte_programmierung> ; # Strukturierte Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/logiciels_exactitude_manuels_d_enseignement> ; # Logiciels--Exactitude--Manuels d'enseignement
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programozas> ; # programozás
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/pascal> ; # PASCAL
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/pascal_langage_de_programmation> ; # PASCAL (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmation_structuree_manuels_d_enseignement> ; # Programmation structurée--Manuels d'enseignement
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/electronic_digital_computers> ; # Electronic digital computers
    schema:about <http://experiment.worldcat.org/entity/work/data/11369711#Topic/algorithmes_evaluation_manuels_d_enseignement> ; # Algorithmes--Évaluation--Manuels d'enseignement
    schema:about <http://id.worldcat.org/fast/1054264> ; # Pascal (Computer program language)
    schema:author <http://viaf.org/viaf/4952830> ; # Michael A. Arbib
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1978" ;
    schema:creator <http://viaf.org/viaf/35013937> ; # Suad Alagić
    schema:datePublished "1978" ;
    schema:description "Examples given written in Pascal."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/11369711> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11369711#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/557851536> ;
    schema:name "The design of well-structured and correct programs"@en ;
    schema:productID "3542182" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/3542182#PublicationEvent/new_york_springer_verlag_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/11369711#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz011113901cov.htm> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0902/77027087-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780387902999> ;
    schema:workExample <http://worldcat.org/isbn/9783540902997> ;
    umbel:isLike <http://d-nb.info/790323141> ;
    umbel:isLike <http://d-nb.info/780305272> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/3542182> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/3542182> ; # The design of well-structured and correct programs
    schema:name "Texts and monographs in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/algorithmes_evaluation_manuels_d_enseignement> # Algorithmes--Évaluation--Manuels d'enseignement
    a schema:Intangible ;
    schema:name "Algorithmes--Évaluation--Manuels d'enseignement"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/electronic_digital_computers> # Electronic digital computers
    a schema:Intangible ;
    schema:name "Electronic digital computers"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/logiciels_exactitude_manuels_d_enseignement> # Logiciels--Exactitude--Manuels d'enseignement
    a schema:Intangible ;
    schema:name "Logiciels--Exactitude--Manuels d'enseignement"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/pascal_computer_program_language> # PASCAL (Computer program language)
    a schema:Intangible ;
    schema:name "PASCAL (Computer program language)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/pascal_langage_de_programmation> # PASCAL (Langage de programmation)
    a schema:Intangible ;
    schema:name "PASCAL (Langage de programmation)"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmation_structuree_manuels_d_enseignement> # Programmation structurée--Manuels d'enseignement
    a schema:Intangible ;
    schema:name "Programmation structurée--Manuels d'enseignement"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
    schema:name "Programmverifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/programozasi_nyelv_pascal> # programozási nyelv--PASCAL
    a schema:Intangible ;
    schema:name "programozási nyelv--PASCAL"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/11369711#Topic/strukturierte_programmierung> # Strukturierte Programmierung
    a schema:Intangible ;
    schema:name "Strukturierte Programmierung"@en ;
    .

<http://id.worldcat.org/fast/1054264> # Pascal (Computer program language)
    a schema:Intangible ;
    schema:name "Pascal (Computer program language)"@en ;
    .

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

<http://viaf.org/viaf/35013937> # Suad Alagić
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Alagić" ;
    schema:givenName "Suad" ;
    schema:name "Suad Alagić" ;
    .

<http://viaf.org/viaf/4952830> # Michael A. Arbib
    a schema:Person ;
    schema:familyName "Arbib" ;
    schema:givenName "Michael A." ;
    schema:name "Michael A. Arbib" ;
    .

<http://worldcat.org/isbn/9780387902999>
    a schema:ProductModel ;
    schema:isbn "0387902996" ;
    schema:isbn "9780387902999" ;
    .

<http://worldcat.org/isbn/9783540902997>
    a schema:ProductModel ;
    schema:isbn "3540902996" ;
    schema:isbn "9783540902997" ;
    .

<http://www.worldcat.org/oclc/557851536>
    a schema:CreativeWork ;
    rdfs:label "Design of well-structured and correct programs." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/3542182> ; # The design of well-structured and correct programs
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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