skip to content
ALPHARD: Toward a Language to Support Structured Programs. Preview this item
ClosePreview this item
Checking...

ALPHARD: Toward a Language to Support Structured Programs.

Author: William A Wulf; CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center 30 APR 1974.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
This report discusses the programming language tools needed to support the expression of 'well-structured' programs. In particular it deals with the tools needed to express abstractions and their realizations; to this end it introduces the concept of a 'form' to subsume the notions of type (mode), macro, procedure, generator, and coercion. An extendedexample is given together with the sketch of a proof of the  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

Document Type: Book
All Authors / Contributors: William A Wulf; CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
OCLC Number: 227601376
Description: 20 pages

Abstract:

This report discusses the programming language tools needed to support the expression of 'well-structured' programs. In particular it deals with the tools needed to express abstractions and their realizations; to this end it introduces the concept of a 'form' to subsume the notions of type (mode), macro, procedure, generator, and coercion. An extendedexample is given together with the sketch of a proof of the example. The proof is included to support the contention that formal verification is substantially simplified when the abstractions and their realization are retained in the program text. (Author).

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/227601376> # ALPHARD: Toward a Language to Support Structured Programs.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227601376" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/34754743#Place/ft_belvoir> ; # Ft. Belvoir
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Topic/programming_languages> ; # Programming languages
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Topic/mathematical_logic> ; # Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Thing/structured_programming> ; # Structured programming
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Thing/alphard_programming_language> ; # ALPHARD programming language
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Topic/compilers> ; # Compilers
   schema:about <http://experiment.worldcat.org/entity/work/data/34754743#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/34754743#Organization/carnegie_mellon_univ_pittsburgh_pa_dept_of_computer_science> ; # CARNEGIE-MELLON UNIV PITTSBURGH PA Dept. of COMPUTER SCIENCE.
   schema:contributor <http://viaf.org/viaf/166049052> ; # William A. Wulf
   schema:datePublished "1974" ;
   schema:datePublished "30 APR 1974" ;
   schema:description "This report discusses the programming language tools needed to support the expression of 'well-structured' programs. In particular it deals with the tools needed to express abstractions and their realizations; to this end it introduces the concept of a 'form' to subsume the notions of type (mode), macro, procedure, generator, and coercion. An extendedexample is given together with the sketch of a proof of the example. The proof is included to support the contention that formal verification is substantially simplified when the abstractions and their realization are retained in the program text. (Author)."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/34754743> ;
   schema:inLanguage "en" ;
   schema:name "ALPHARD: Toward a Language to Support Structured Programs."@en ;
   schema:productID "227601376" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227601376#PublicationEvent/ft_belvoirdefense_technical_information_center30_apr_1974> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/34754743#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227601376> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/34754743#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/34754743#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/34754743#Thing/alphard_programming_language> # ALPHARD programming language
    a schema:Thing ;
   schema:name "ALPHARD programming language" ;
    .

<http://experiment.worldcat.org/entity/work/data/34754743#Thing/structured_programming> # Structured programming
    a schema:Thing ;
   schema:name "Structured programming" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/34754743#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/34754743#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
   schema:name "Mathematical logic"@en ;
    .

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

<http://viaf.org/viaf/166049052> # William A. Wulf
    a schema:Person ;
   schema:familyName "Wulf" ;
   schema:givenName "William A." ;
   schema:name "William A. Wulf" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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