skip to content
Program Structures for Exceptional Condition Handling. Preview this item
ClosePreview this item
Checking...

Program Structures for Exceptional Condition Handling.

Author: Roy Levin; CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center JUN 1977.
Dissertation: Thesis (Doctora).
Edition/Format:   Thesis/dissertation : Thesis/dissertation : EnglishView all editions and formats
Database:WorldCat
Summary:
The goal of much of the current research in the field of structured programming is to develop a methodology that materially aids in the construction of clearly understandable yet rigorously verifiable programs. No single methodology has achieved pre-eminence, but some common threads run through all the serious contenders. To achieve clarity of expression, most methodologies postulate a small number of  Read more...
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

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Roy Levin; CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
OCLC Number: 227465944
Description: 158 pages

Abstract:

The goal of much of the current research in the field of structured programming is to develop a methodology that materially aids in the construction of clearly understandable yet rigorously verifiable programs. No single methodology has achieved pre-eminence, but some common threads run through all the serious contenders. To achieve clarity of expression, most methodologies postulate a small number of easily-described primitive programming constructs. These constructs then become the building blocks for programs that exhibit an orderly arrangement of data and disciplined transfers of control.

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/227465944> # Program Structures for Exceptional Condition Handling.
    a schema:Book, schema:CreativeWork, bgn:Thesis ;
   bgn:inSupportOf "Thesis (Doctora)." ;
   library:oclcnum "227465944" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13888016#Place/ft_belvoir> ; # Ft. Belvoir
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_programs> ; # Computer programs
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Thing/pe61102f> ; # PE61102F
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/theses> ; # Theses
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/input_output_processing> ; # Input output processing
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/man_computer_interface> ; # Man computer interface
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_hardware> ; # Computer Hardware
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/semantics> ; # Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_architecture> ; # Computer architecture
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/programming_languages> ; # Programming languages
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_program_verification> ; # Computer program verification
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/real_time> ; # Real time
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/parallel_processing> ; # Parallel processing
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Thing/wuafosr2304a2> ; # WUAFOSR2304A2
   schema:about <http://experiment.worldcat.org/entity/work/data/13888016#Topic/syntax> ; # Syntax
   schema:contributor <http://viaf.org/viaf/28372936> ; # Roy Levin
   schema:contributor <http://experiment.worldcat.org/entity/work/data/13888016#Organization/carnegie_mellon_univ_pittsburgh_pa_dept_of_computer_science> ; # CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
   schema:datePublished "JUN 1977" ;
   schema:datePublished "1977" ;
   schema:description "The goal of much of the current research in the field of structured programming is to develop a methodology that materially aids in the construction of clearly understandable yet rigorously verifiable programs. No single methodology has achieved pre-eminence, but some common threads run through all the serious contenders. To achieve clarity of expression, most methodologies postulate a small number of easily-described primitive programming constructs. These constructs then become the building blocks for programs that exhibit an orderly arrangement of data and disciplined transfers of control."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/13888016> ;
   schema:inLanguage "en" ;
   schema:name "Program Structures for Exceptional Condition Handling."@en ;
   schema:productID "227465944" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227465944#PublicationEvent/ft_belvoirdefense_technical_information_centerjun_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13888016#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227465944> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/13888016#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Organization/carnegie_mellon_univ_pittsburgh_pa_dept_of_computer_science> # CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
    a schema:Organization ;
   schema:name "CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_architecture> # Computer architecture
    a schema:Intangible ;
   schema:name "Computer architecture"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_program_verification> # Computer program verification
    a schema:Intangible ;
   schema:name "Computer program verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
   schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/input_output_processing> # Input output processing
    a schema:Intangible ;
   schema:name "Input output processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/man_computer_interface> # Man computer interface
    a schema:Intangible ;
   schema:name "Man computer interface"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/parallel_processing> # Parallel processing
    a schema:Intangible ;
   schema:name "Parallel processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13888016#Topic/programming_languages> # Programming languages
    a schema:Intangible ;
   schema:name "Programming languages"@en ;
    .

<http://viaf.org/viaf/28372936> # Roy Levin
    a schema:Person ;
   schema:familyName "Levin" ;
   schema:givenName "Roy" ;
   schema:name "Roy Levin" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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