Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering最新文献

SEALS: a framework for building self-adaptive virtual machines 用于构建自适应虚拟机的框架

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486912

Gwendal Jouneaux, Olivier Barais, B. Combemale, G. Mussbacher

{"title":"SEALS: a framework for building self-adaptive virtual machines","authors":"Gwendal Jouneaux, Olivier Barais, B. Combemale, G. Mussbacher","doi":"10.1145/3486608.3486912","DOIUrl":"https://doi.org/10.1145/3486608.3486912","url":null,"abstract":"Over recent years, self-adaptation has become a major concern for software systems that evolve in changing environments. While expert developers may choose a manual implementation when self-adaptation is the primary concern, self-adaptation should be abstracted for non-expert developers or when it is a secondary concern. We present SEALS, a framework for building self-adaptive virtual machines for domain-specific languages. This framework provides first-class entities for the language engineer to promote domain-specific feedback loops in the definition of the DSL operational semantics. In particular, the framework supports the definition of (i) the abstract syntax and the semantics of the language as well as the correctness envelope defining the acceptable semantics for a domain concept, (ii) the feedback loop and associated trade-off reasoning, and (iii) the adaptations and the predictive model of their impact on the trade-off. We use this framework to build three languages with self-adaptive virtual machines and discuss the relevance of the abstractions, effectiveness of correctness envelopes, and compare their code size and performance results to their manually implemented counterparts. We show that the framework provides suitable abstractions for the implementation of self-adaptive operational semantics while introducing little performance overhead compared to a manual implementation.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125804776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Automatic grammar repair 自动语法修复

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486910

Moeketsi Raselimo, B. Fischer

引用次数: 0

A concurrency model for JavaScript with cooperative cancellation 具有协作取消的JavaScript并发模型

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486911

Tian Zhao, Yonglun Li

引用次数: 1

Monilogging for executable domain-specific languages 对可执行的特定于领域的语言进行监控

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486906

Dorian Leroy, B. Lelandais, M. Oudot, B. Combemale

引用次数: 4

Automating the synthesis of recommender systems for modelling languages 自动合成建模语言的推荐系统

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486905

Lissette Almonte, Sara Pérez-Soler, E. Guerra, Iván Cantador, J. Lara

{"title":"Automating the synthesis of recommender systems for modelling languages","authors":"Lissette Almonte, Sara Pérez-Soler, E. Guerra, Iván Cantador, J. Lara","doi":"10.1145/3486608.3486905","DOIUrl":"https://doi.org/10.1145/3486608.3486905","url":null,"abstract":"We are witnessing an increasing interest in building recommender systems (RSs) for all sorts of Software Engineering activities. Modelling is no exception to this trend, as modelling environments are being enriched with RSs that help building models by providing recommendations based on previous solutions to similar problems in the same domain. However, building a RS from scratch requires considerable effort and specialized knowledge. To alleviate this problem, we propose an automated approach to the generation of RSs for modelling languages. Our approach is model-based, and we provide a domain-specific language called Droid to configure every aspect of the RS (like the type and features of the recommended items, the recommendation method, and the evaluation metrics). The RS so configured can be deployed as a service, and we offer out-of-the-box integration of this service with the EMF tree editor. To assess the usefulness of our proposal, we present a case study on the integration of a generated RS with a modelling chatbot, and report on an offline experiment measuring the precision and completeness of the recommendations.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122909425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

Getting grammars into shape for block-based editors 为基于块的编辑器构建语法

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486908

Mauricio Verano Merino, Tom Beckmann, T. van der Storm, R. Hirschfeld, J. Vinju

引用次数: 7

Faster reachability analysis for LR(1) parsers 更快的LR(1)解析器可达性分析

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486903

Frédéric Bour, F. Pottier

引用次数: 0

Vision: the next 700 language workbenches 愿景:未来700种语言的工作台

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486907

M. Barash

引用次数: 0

There is more than one way to zen your Python 学习Python的方法不止一种

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486909

A. Farooq, V. Zaytsev

引用次数: 7

Fast incremental PEG parsing 快速增量PEG解析

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering Pub Date : 2021-10-17 DOI: 10.1145/3486608.3486900

Zachary Yedidia, Stephen Chong

{"title":"Fast incremental PEG parsing","authors":"Zachary Yedidia, Stephen Chong","doi":"10.1145/3486608.3486900","DOIUrl":"https://doi.org/10.1145/3486608.3486900","url":null,"abstract":"Incremental parsing is an integral part of code analysis performed by text editors and integrated development environments. This paper presents new methods to significantly improve the efficiency of incremental parsing for Parsing Expression Grammars (PEGs). We build on Incremental Packrat Parsing, an algorithm that adapts packrat parsing to an incremental setting, by implementing the memoization table as an interval tree with special support for shifting intervals, and modifying the memoization strategy to create tree structures in the table. Our approach enables reparsing in time logarithmic in the size of the input for typical edits, compared with linear-time reparsing for Incremental Packrat Parsing. We implement our methods in a prototype called GPeg, a parsing machine for PEGs with support for dynamic parsers (an important feature for extensibility in editors). Experiments show that GPeg has strong performance (sub-5ms reparse times) across a variety of input sizes (tens to hundreds of megabytes) and grammar types (from full language grammars to minimal grammars), and compares well with existing incremental parsers. As a complete example, we implement a syntax highlighting library and prototype editor using GPeg, with optimizations for these applications.","PeriodicalId":212947,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114440107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0