Title :
Rapid prototyping of programming language semantics using Prolog
Author :
Bryant, Barreii R. ; Pan, Aiqin
Author_Institution :
Dept. of Comput. & Inf. Sci., Alabama Univ., Birmingham, AL, USA
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, can 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 can 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. Prolog allows for a complete programming language specification which integrates all aspects of programming language semantics into a single unified framework
Keywords :
PROLOG; formal specification; software engineering; specification languages; systems analysis; Prolog; attribute grammar; axiomatic semantics; denotational semantics; dynamic semantics; formal semantics; implementable specification language; programming language semantics; static semantics; Code standards; Computer languages; Formal specifications; Logic programming; Natural languages; Parallel processing; Production systems; Program processors; Prototypes; Specification languages;
Conference_Titel :
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-1964-3
DOI :
10.1109/CMPSAC.1989.65123