名称解析的语义是优雅的

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages Pub Date : 2017-10-24 DOI:10.1145/3133841.3133847

V. Vergu, Michiel Haisma, E. Visser

{"title":"名称解析的语义是优雅的","authors":"V. Vergu, Michiel Haisma, E. Visser","doi":"10.1145/3133841.3133847","DOIUrl":null,"url":null,"abstract":"Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics for its object model and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution using scope graphs, relating linguistic features to other languages, and an operationalization of this model in the form of an operational semantics which is readable and executable. The semantics are extensively tested against a reference Grace implementation.","PeriodicalId":117125,"journal":{"name":"Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The semantics of name resolution in grace\",\"authors\":\"V. Vergu, Michiel Haisma, E. Visser\",\"doi\":\"10.1145/3133841.3133847\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics for its object model and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution using scope graphs, relating linguistic features to other languages, and an operationalization of this model in the form of an operational semantics which is readable and executable. The semantics are extensively tested against a reference Grace implementation.\",\"PeriodicalId\":117125,\"journal\":{\"name\":\"Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3133841.3133847\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3133841.3133847","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

Grace是一种动态的面向对象编程语言，旨在帮助编程教育。我们给出了一个形式化模型，并给出了其对象模型的操作语义和名称解析算法。我们的主要贡献是一个使用作用域图的Grace名称解析的系统模型，将语言特征与其他语言联系起来，并以可读和可执行的操作语义的形式将该模型进行操作化。针对参考Grace实现对语义进行了广泛的测试。

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

查看原文本刊更多论文

The semantics of name resolution in grace

Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics for its object model and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution using scope graphs, relating linguistic features to other languages, and an operationalization of this model in the form of an operational semantics which is readable and executable. The semantics are extensively tested against a reference Grace implementation.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages

自引率

0.00%

发文量