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#Person/marcotty_michael> ; # Michael Marcotty
   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: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#Person/marcotty_michael> # Michael Marcotty
    a schema:Person ;
   schema:familyName "Marcotty" ;
   schema:givenName "Michael" ;
   schema:name "Michael Marcotty" ;
    .

<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/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.