skip to content
The Definition Mechanism for Standard PL/I. Preview this item
ClosePreview this item
Checking...

The Definition Mechanism for Standard PL/I.

Author: Michael Marcotty; Frederick G Sayward; YALE UNIV NEW HAVEN CONN Dept. of COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center SEP 1976.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semi-formal specification of the language. It uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a  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: Michael Marcotty; Frederick G Sayward; YALE UNIV NEW HAVEN CONN Dept. of COMPUTER SCIENCE.
OCLC Number: 227492119
Notes: Prepared in cooperation with General Motors Corp., Warren, MI. Research Labs., Rept. no. GMR-2297.
Description: 83 pages

Abstract:

The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semi-formal specification of the language. It uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a hypothetical machine. The method and metalanguage are presented along with several small examples to illustrate the definition technique's features. The complete definition process is shown by the definition of a small example language. (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/227492119> # The Definition Mechanism for Standard PL/I.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227492119" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/52222814#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/computer_programming_and_software> ; # Computer Programming and Software
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/context_free_grammars> ; # Context free grammars
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/semantics> ; # Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Thing/pl_i_programming_language> ; # PL/I programming language
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/syntax> ; # Syntax
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/context_sensitive_grammars> ; # Context sensitive grammars
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/parsers> ; # Parsers
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/programming_languages> ; # Programming languages
    schema:about <http://experiment.worldcat.org/entity/work/data/52222814#Topic/standards> ; # Standards
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/94407333> ; # Frederick G. Sayward
    schema:contributor <http://experiment.worldcat.org/entity/work/data/52222814#Organization/yale_univ_new_haven_conn_dept_of_computer_science> ; # YALE UNIV NEW HAVEN CONN Dept. of COMPUTER SCIENCE.
    schema:contributor <http://viaf.org/viaf/306172520> ; # Michael Marcotty
    schema:datePublished "SEP 1976" ;
    schema:datePublished "1976" ;
    schema:description "The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semi-formal specification of the language. It uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a hypothetical machine. The method and metalanguage are presented along with several small examples to illustrate the definition technique's features. The complete definition process is shown by the definition of a small example language. (Author)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/52222814> ;
    schema:inLanguage "en" ;
    schema:name "The Definition Mechanism for Standard PL/I."@en ;
    schema:productID "227492119" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227492119#PublicationEvent/ft_belvoirdefense_technical_information_centersep_1976> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/52222814#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227492119> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/52222814#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/52222814#Organization/yale_univ_new_haven_conn_dept_of_computer_science> # YALE UNIV NEW HAVEN CONN Dept. of COMPUTER SCIENCE.
    a schema:Organization ;
    schema:name "YALE UNIV NEW HAVEN CONN Dept. of COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/52222814#Thing/pl_i_programming_language> # PL/I programming language
    a schema:Thing ;
    schema:name "PL/I programming language" ;
    .

<http://experiment.worldcat.org/entity/work/data/52222814#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/52222814#Topic/context_free_grammars> # Context free grammars
    a schema:Intangible ;
    schema:name "Context free grammars"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/52222814#Topic/context_sensitive_grammars> # Context sensitive grammars
    a schema:Intangible ;
    schema:name "Context sensitive grammars"@en ;
    .

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

<http://viaf.org/viaf/306172520> # Michael Marcotty
    a schema:Person ;
    schema:familyName "Marcotty" ;
    schema:givenName "Michael" ;
    schema:name "Michael Marcotty" ;
    .

<http://viaf.org/viaf/94407333> # Frederick G. Sayward
    a schema:Person ;
    schema:familyName "Sayward" ;
    schema:givenName "Frederick G." ;
    schema:name "Frederick G. Sayward" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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