首页 > 最新文献

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools最新文献

英文 中文
A quantitative study of Java software buildability Java软件可构建性的定量研究
Matúš Sulír, J. Porubän
Researchers, students and practitioners often encounter a situation when the build process of a third-party software system fails. In this paper, we aim to confirm this observation present mainly as anecdotal evidence so far. Using a virtual environment simulating a programmer's one, we try to fully automatically build target archives from the source code of over 7,200 open source Java projects. We found that more than 38% of builds ended in failure. Build log analysis reveals the largest portion of errors are dependency-related. We also conduct an association study of factors affecting build success.
研究人员、学生和从业者经常会遇到第三方软件系统构建过程失败的情况。在本文中,我们的目的是证实这一观察目前主要作为轶事证据。使用模拟程序员环境的虚拟环境,我们尝试从超过7,200个开源Java项目的源代码中完全自动地构建目标存档。我们发现超过38%的构建以失败告终。构建日志分析显示,大部分错误与依赖项相关。我们还对影响建筑成功的因素进行了关联研究。
{"title":"A quantitative study of Java software buildability","authors":"Matúš Sulír, J. Porubän","doi":"10.1145/3001878.3001882","DOIUrl":"https://doi.org/10.1145/3001878.3001882","url":null,"abstract":"Researchers, students and practitioners often encounter a situation when the build process of a third-party software system fails. In this paper, we aim to confirm this observation present mainly as anecdotal evidence so far. Using a virtual environment simulating a programmer's one, we try to fully automatically build target archives from the source code of over 7,200 open source Java projects. We found that more than 38% of builds ended in failure. Build log analysis reveals the largest portion of errors are dependency-related. We also conduct an association study of factors affecting build success.","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122138510","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}
引用次数: 39
What is a programming language, really? 编程语言到底是什么?
Amy J. Ko
In computing, we usually take a technical view of programming languages (PL), defining them as formal means of specifying a computer behavior. This view shapes much of the research that we do on PL, determining the questions we ask about them, the improvements we make to them, and how we teach people to use them. But to many people, PL are not purely technical things, but socio-technical things. This paper describes several alternative views of PL and how these views can reshape how we design, evolve, and use programming languages in research and practice.
在计算中,我们通常从技术角度看待编程语言(PL),将它们定义为指定计算机行为的正式方法。这种观点影响了我们对PL的研究,决定了我们提出的问题,我们对它们的改进,以及我们如何教人们使用它们。但对很多人来说,PL不是纯粹的技术问题,而是社会技术问题。本文描述了PL的几种不同观点,以及这些观点如何在研究和实践中重塑我们如何设计、发展和使用编程语言。
{"title":"What is a programming language, really?","authors":"Amy J. Ko","doi":"10.1145/3001878.3001880","DOIUrl":"https://doi.org/10.1145/3001878.3001880","url":null,"abstract":"In computing, we usually take a technical view of programming languages (PL), defining them as formal means of specifying a computer behavior. This view shapes much of the research that we do on PL, determining the questions we ask about them, the improvements we make to them, and how we teach people to use them. But to many people, PL are not purely technical things, but socio-technical things. This paper describes several alternative views of PL and how these views can reshape how we design, evolve, and use programming languages in research and practice.","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"434 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124161080","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}
引用次数: 6
Discount method for programming language evaluation 程序设计语言评价的折扣方法
Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen
This paper presents work in progress on developing a Discount Method for Programming Language Evaluation inspired by the Discount Usability Evaluation method (Benyon 2010) and the Instant Data Analysis method (Kjeldskov et al. 2004). The method is intended to bridge the gap between small scale internal language design evaluation methods and large scale surveys and quantitative evaluation methods. The method is designed to be applicable even before a compiler or IDE is developed for a new language. To test the method, a usability evaluation experiment was carried out on the Quorum programming language (Stefik et al. 2016) using programmers with experience in C and C#. When comparing our results with previous studies of Quorum, most of the data was comparable though not strictly in agreement. However, the discrepancies were mainly related to the programmers pre-existing expectations of a language. The results show that our evaluation method could serve language designers as a low-cost way for evaluating programming languages, especially in the early stages of the language design process. Future work includes adjusting and improving the method in such a way that it becomes usable to novice programming language designers.
本文介绍了受折扣可用性评估方法(Benyon 2010)和即时数据分析方法(Kjeldskov et al. 2004)的启发,开发一种用于编程语言评估的折扣方法的进展工作。该方法旨在弥补小规模内部语言设计评价方法与大规模调查和定量评价方法之间的差距。该方法被设计为甚至在为新语言开发编译器或IDE之前就可以应用。为了测试该方法,使用具有C和c#经验的程序员对Quorum编程语言(Stefik et al. 2016)进行了可用性评估实验。当将我们的结果与之前对Quorum的研究进行比较时,大多数数据是可比较的,尽管不是严格一致的。然而,这些差异主要与程序员先前对语言的期望有关。结果表明,我们的评估方法可以为语言设计者提供一种低成本的方法来评估编程语言,特别是在语言设计过程的早期阶段。未来的工作包括调整和改进该方法,使其对编程语言设计新手可用。
{"title":"Discount method for programming language evaluation","authors":"Svetomir Kurtev, Tommy Aagaard Christensen, Bent Thomsen","doi":"10.1145/3001878.3001879","DOIUrl":"https://doi.org/10.1145/3001878.3001879","url":null,"abstract":"This paper presents work in progress on developing a Discount Method for Programming Language Evaluation inspired by the Discount Usability Evaluation method (Benyon 2010) and the Instant Data Analysis method (Kjeldskov et al. 2004). The method is intended to bridge the gap between small scale internal language design evaluation methods and large scale surveys and quantitative evaluation methods. The method is designed to be applicable even before a compiler or IDE is developed for a new language. To test the method, a usability evaluation experiment was carried out on the Quorum programming language (Stefik et al. 2016) using programmers with experience in C and C#. When comparing our results with previous studies of Quorum, most of the data was comparable though not strictly in agreement. However, the discrepancies were mainly related to the programmers pre-existing expectations of a language. The results show that our evaluation method could serve language designers as a low-cost way for evaluating programming languages, especially in the early stages of the language design process. Future work includes adjusting and improving the method in such a way that it becomes usable to novice programming language designers.","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131200846","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
Benefits of session types for software development 会话类型对软件开发的好处
A. Voinea, S. Gay
Session types are a formalism used to specify and check the correctness of communication based systems. Within their scope, they can guarantee the absence of communication errors such as deadlock, sending an unexpected message or failing to handle an incoming message. Introduced over two decades ago, they have developed into a significant theme in programming languages. In this paper we examine the beliefs that drive research into this area and make it popular. We look at the claims and motivation behind session types throughout the literature. We identify the hypotheses upon which session types have been designed and implemented, and attempt to clarify and formulate them in a more suitable manner for testing.
会话类型是一种形式,用于指定和检查基于通信的系统的正确性。在它们的范围内,它们可以保证没有通信错误,例如死锁、发送意外消息或无法处理传入消息。二十多年前引入,它们已经发展成为编程语言中的一个重要主题。在本文中,我们考察了推动这一领域研究并使其流行的信念。我们看一下整个文献中会话类型背后的主张和动机。我们确定了设计和实现会话类型的假设,并试图以更适合测试的方式澄清和制定它们。
{"title":"Benefits of session types for software development","authors":"A. Voinea, S. Gay","doi":"10.1145/3001878.3001883","DOIUrl":"https://doi.org/10.1145/3001878.3001883","url":null,"abstract":"Session types are a formalism used to specify and check the correctness of communication based systems. Within their scope, they can guarantee the absence of communication errors such as deadlock, sending an unexpected message or failing to handle an incoming message. Introduced over two decades ago, they have developed into a significant theme in programming languages. In this paper we examine the beliefs that drive research into this area and make it popular. We look at the claims and motivation behind session types throughout the literature. We identify the hypotheses upon which session types have been designed and implemented, and attempt to clarify and formulate them in a more suitable manner for testing.","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124362021","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
What do we really know about data flow languages? 我们对数据流语言到底了解多少?
G. Salvaneschi
Over the last years, a number of languages based on data flow abstractions have been proposed in different important areas including Big Data, stream processing, reactive programming, real time analytics. While there is a general agreement that the data flow style simplifies the access to such complex systems compared to low level imperative APIs, this design has been substantiated by little evidence. In this paper, we advocate a systematic investigation of the design principles of data flow languages and suggest important research questions that urge to be addressed.
在过去的几年里,许多基于数据流抽象的语言在不同的重要领域被提出,包括大数据、流处理、响应式编程、实时分析。虽然人们普遍认为,与低级命令式api相比,数据流风格简化了对此类复杂系统的访问,但这种设计几乎没有得到证据的证实。在本文中,我们提倡对数据流语言的设计原则进行系统的调查,并提出了迫切需要解决的重要研究问题。
{"title":"What do we really know about data flow languages?","authors":"G. Salvaneschi","doi":"10.1145/3001878.3001884","DOIUrl":"https://doi.org/10.1145/3001878.3001884","url":null,"abstract":"Over the last years, a number of languages based on data flow abstractions have been proposed in different important areas including Big Data, stream processing, reactive programming, real time analytics. While there is a general agreement that the data flow style simplifies the access to such complex systems compared to low level imperative APIs, this design has been substantiated by little evidence. In this paper, we advocate a systematic investigation of the design principles of data flow languages and suggest important research questions that urge to be addressed.","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123033663","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
AngularJS in the wild: a survey with 460 developers AngularJS在野外:对460名开发人员的调查
Miguel Ramos, M. T. Valente, Ricardo Terra, Gustavo Santos
To implement modern web applications, a new family of JavaScript frameworks has emerged, using the MVC pattern. Among these frameworks, the most popular one is ANGULARJS, which is supported by Google. In spite of its popularity, there is not a clear knowledge on how ANGULARJS design and features affect the development experience of Web applications. Therefore, this paper reports the results of a survey about ANGULARJS, including answers from 460 developers. Our contributions include the identification of the most appreciated features of ANGULARJS (e.g., custom interface components, dependency injection, and two-way data binding) and the most problematic aspects of the framework (e.g., performance and implementation of directives).
为了实现现代web应用程序,使用MVC模式的新JavaScript框架家族已经出现。在这些框架中,最流行的是由Google支持的ANGULARJS。尽管它很受欢迎,但对于ANGULARJS的设计和特性如何影响Web应用程序的开发体验还没有明确的认识。因此,本文报告了一项关于ANGULARJS的调查结果,其中包括460名开发人员的回答。我们的贡献包括确定ANGULARJS中最受欢迎的特性(例如,自定义接口组件、依赖注入和双向数据绑定)和框架中最有问题的方面(例如,指令的性能和实现)。
{"title":"AngularJS in the wild: a survey with 460 developers","authors":"Miguel Ramos, M. T. Valente, Ricardo Terra, Gustavo Santos","doi":"10.1145/3001878.3001881","DOIUrl":"https://doi.org/10.1145/3001878.3001881","url":null,"abstract":"To implement modern web applications, a new family of JavaScript frameworks has emerged, using the MVC pattern. Among these frameworks, the most popular one is ANGULARJS, which is supported by Google. In spite of its popularity, there is not a clear knowledge on how ANGULARJS design and features affect the development experience of Web applications. Therefore, this paper reports the results of a survey about ANGULARJS, including answers from 460 developers. Our contributions include the identification of the most appreciated features of ANGULARJS (e.g., custom interface components, dependency injection, and two-way data binding) and the most problematic aspects of the framework (e.g., performance and implementation of directives).","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123648963","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}
引用次数: 30
Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools 第七届程序设计语言和工具的评估和可用性国际研讨会论文集
{"title":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","authors":"","doi":"10.1145/3001878","DOIUrl":"https://doi.org/10.1145/3001878","url":null,"abstract":"","PeriodicalId":124643,"journal":{"name":"Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125921269","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
期刊
Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1