Rapid prototyping of programming language semantics using Prolog

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI:10.1109/CMPSAC.1989.65123

B. Bryant, Aiqin Pan

{"title":"Rapid prototyping of programming language semantics using Prolog","authors":"B. Bryant, Aiqin Pan","doi":"10.1109/CMPSAC.1989.65123","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1989.65123","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 14

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

使用Prolog的编程语言语义的快速原型

Prolog是一种可实现的编程语言语义规范语言。结果表明，无论是由属性语法或指称语义指定的静态语义，还是由指称语义或公理语义指定的动态语义，都可以方便地在Prolog中表示，具有以下优点:(1)由于形式语义中使用的符号是基于逻辑的，因此将这些符号直接翻译成Prolog，从而使Prolog规范与原始规范的一致性更加可靠;(2) Prolog中表达的规范是可执行的，因此可以被视为语义的原型实现;(3) Prolog在规范中展示了最大程度的并行性，表明在哪些地方生产质量系统可以并行实施以提高性能。Prolog允许一个完整的编程语言规范，它将编程语言语义的所有方面集成到一个统一的框架中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference

自引率

0.00%

发文量

期刊最新文献

What are the 'carry over effects' in changing from a procedural to a declarative approach? Critical issues in real-time software systems Models to estimate the number of faults still resident in the software after test/debug process Evaluating software development environment quality Structuring large versioned software products