article · 1989

RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS

Cited by 0Abstract and details only

Abstract

Prolog is proposed as an implementable specification language for programming language semantics. It is shown that both static semantics, specified by either attribute grammar or denotational semantics, and dynamic semantics, specified by either denotational semantics or axiomatic semantics, may be conveniently expressed in Prolog with the following advantages: 1) Because the notations used in formal semantics are based upon logic, it is straightforward to translate these into Prolog, thus making the conformity of the Prolog specifications with the original specifications more reliable; 2) Specifications expressed in Prolog are executable and may therefore be considered as prototype implementations of the semantics; and 3) Prolog exhibits the maximum amount of parallelism in the specifications, indicating where production quality systems might be implemented in parallel for improved performance. Finally, Prolog allows for a complete programming language specification which integrates all aspects of programming language semantics into a single unified framework.

Cite this paper

APA 7

Bryant, B., & Pan, A. (1989). RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS.

MLA 9

Bryant, B.R., and Aiqin Pan. “RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS.” 1989.

Chicago

Bryant, B.R., and Aiqin Pan. 1989. “RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS.”

Harvard

Bryant, B. and Pan, A. (1989) ‘RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS’.

BibTeX

@article{bryant1989rapid,
  title = {{RAPID PROTOTYPING OF PROGRAMMING LANGUAGE SEMANTICS}},
  author = {Bryant, B.R. and Pan, Aiqin},
  year = {1989}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.