发布求助
文献互助 智能选刊 最新文献

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation最新文献

筛选
英文 中文
Desugaring in Practice: Opportunities and Challenges 实践中的脱糖:机遇与挑战
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2678016
S. Krishnamurthi
{"title":"Desugaring in Practice: Opportunities and Challenges","authors":"S. Krishnamurthi","doi":"10.1145/2678015.2678016","DOIUrl":"https://doi.org/10.1145/2678015.2678016","url":null,"abstract":"Desugaring, a key form of program manipulation, is a vital tool in the practical study of programming languages. Its use enables pragmatic solutions to the messy problems of dealing with real languages, but it also introduces problems that need addressing. By listing some of these challenges, this paper and talk aim to serve as a call to arms to the community to give the topic more attention.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122710364","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}
引用次数: 4
Safe Concurrency Introduction through Slicing 通过切片介绍安全并发性
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2682533
Huiqing Li, S. Thompson
{"title":"Safe Concurrency Introduction through Slicing","authors":"Huiqing Li, S. Thompson","doi":"10.1145/2678015.2682533","DOIUrl":"https://doi.org/10.1145/2678015.2682533","url":null,"abstract":"Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115446625","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
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources 非结构化知识来源的结构异构源代码示例
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2682537
Venkatesh Vinayakarao, Rahul Purandare, A. Nori
{"title":"Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources","authors":"Venkatesh Vinayakarao, Rahul Purandare, A. Nori","doi":"10.1145/2678015.2682537","DOIUrl":"https://doi.org/10.1145/2678015.2682537","url":null,"abstract":"Software developers rarely write code from scratch. With the existence of Wikipedia, discussion forums, books and blogs, it is hard to imagine a software developer not looking up these sites for sample code while building any non-trivial software system. While researchers have proposed approaches to retrieve relevant posts and code snippets, the need for finding variant implementations of functionally similar code snippets has been ignored. In this work, we propose an approach to automatically create a repository of structurally heterogeneous but functionally similar source code examples from unstructured sources. We evaluate the approach on stackoverflow, a discussion forum that has approximately 19 million posts. The results of our evaluation indicates that the approach extracts structurally different snippets with a precision of 83%. A repository of such heterogeneous source code examples will be useful to programmers in learning different implementation strategies and for researchers working on problems such as program comprehension, semantic clones and code search.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"32 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133753969","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}
引用次数: 8
Incremental Evaluation of Higher Order Attributes 高阶属性的增量求值
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2682541
J. Bransen, A. Dijkstra, S. Swierstra
{"title":"Incremental Evaluation of Higher Order Attributes","authors":"J. Bransen, A. Dijkstra, S. Swierstra","doi":"10.1145/2678015.2682541","DOIUrl":"https://doi.org/10.1145/2678015.2682541","url":null,"abstract":"Compilers, amongst other programs, often work with data that (slowly) changes over time. When the changes between subsequent runs of the compiler are small, one would hope the compiler to incrementally update its results, resulting in much lower running times. However, the manual construction of an incremental compiler is very hard and error prone and therefore usually not an option. Attribute grammars provide an attractive way of constructing compilers, as they are compositional in nature and allow for aspect oriented programming. In this work we extend previous work on the automatic generation of incremental attribute grammar evaluators, with the purpose of (semi-)automatically generating an incremental compiler from the regular attribute grammar definition, by adding support for incremental evaluation of higher order attributes, a well known extension to the classical attribute grammars that is used in many ways in compiler construction, for example to model different compiler phases.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123517028","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}
引用次数: 4
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement 非严格高阶函数语言的多变基数分析:简短公告
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2682536
Hidde Verstoep, Jurriaan Hage
{"title":"Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement","authors":"Hidde Verstoep, Jurriaan Hage","doi":"10.1145/2678015.2682536","DOIUrl":"https://doi.org/10.1145/2678015.2682536","url":null,"abstract":"In this brief announcement we outline work we have done on defining a polyvariant cardinality analysis for a non-strict higher-order language equipped with user defined datatypes and explicit strictness that includes sharing analysis, absence analysis, strictness analysis and uniqueness typing as a special case. It aims to be the basis of an analysis framework in a compiler for a Haskell-like language, that does not have access to an aggressive inliner such as the one present in GHC.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128099414","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}
引用次数: 5
Imperative Polymorphism by Store-Based Types as Abstract Interpretations 基于存储的类型作为抽象解释的命令式多态
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation Pub Date : 2015-01-13 DOI: 10.1145/2678015.2682545
Casper Bach Poulsen, P. Mosses, P. Torrini
{"title":"Imperative Polymorphism by Store-Based Types as Abstract Interpretations","authors":"Casper Bach Poulsen, P. Mosses, P. Torrini","doi":"10.1145/2678015.2682545","DOIUrl":"https://doi.org/10.1145/2678015.2682545","url":null,"abstract":"Dealing with polymorphism in the presence of imperative features is a long-standing open problem for Hindley-Milner type systems. A widely adopted approach is the value restriction, which inhibits polymorphic generalisation and unfairly rejects various programs that cannot go wrong. We consider abstract interpretation as a tool for constructing safe and precise type systems, and investigate how to derive store-based types by abstract interpretation. We propose store-based types as a type discipline that holds potential for interesting and flexible alternatives to the value restriction.","PeriodicalId":440670,"journal":{"name":"Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134345758","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}
引用次数: 1
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书