对程序转换进行抽象解释

Q4 Social Sciences

Meta: Avaliacao Pub Date : 2017-10-22 DOI:10.1145/3141517.3141855

Sven Keidel, Sebastian Erdweg

{"title":"对程序转换进行抽象解释","authors":"Sven Keidel, Sebastian Erdweg","doi":"10.1145/3141517.3141855","DOIUrl":null,"url":null,"abstract":"Developers of program transformations often reason about transformations to assert certain properties of the generated code. We propose to apply abstract interpretation to program transformations in order to automate and support such reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for the program transformation language Stratego. In particular, we present challenges encountered during the development of the abstract Stratego interpreter and how we intend to solve these challenges.","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"93 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2017-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Toward abstract interpretation of program transformations\",\"authors\":\"Sven Keidel, Sebastian Erdweg\",\"doi\":\"10.1145/3141517.3141855\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Developers of program transformations often reason about transformations to assert certain properties of the generated code. We propose to apply abstract interpretation to program transformations in order to automate and support such reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for the program transformation language Stratego. In particular, we present challenges encountered during the development of the abstract Stratego interpreter and how we intend to solve these challenges.\",\"PeriodicalId\":38836,\"journal\":{\"name\":\"Meta: Avaliacao\",\"volume\":\"93 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Meta: Avaliacao\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3141517.3141855\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Social Sciences\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Meta: Avaliacao","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3141517.3141855","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Social Sciences","Score":null,"Total":0}

引用次数: 1

摘要

程序转换的开发人员经常对转换进行推理，以断言生成代码的某些属性。我们建议将抽象解释应用于程序转换，以便自动化和支持这种推理。本文介绍了程序转换语言Stratego的抽象解释器的开发和应用。特别是，我们提出了在开发抽象Stratego解释器过程中遇到的挑战，以及我们打算如何解决这些挑战。

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

查看原文本刊更多论文

Toward abstract interpretation of program transformations

Developers of program transformations often reason about transformations to assert certain properties of the generated code. We propose to apply abstract interpretation to program transformations in order to automate and support such reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for the program transformation language Stratego. In particular, we present challenges encountered during the development of the abstract Stratego interpreter and how we intend to solve these challenges.

求助全文

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

来源期刊

Meta: Avaliacao Social Sciences-Education

CiteScore

0.40

自引率

0.00%

发文量

审稿时长

10 weeks