Journal of Computer Languages最新文献_第10页

Program representations for predictive compilation: State of affairs in the early 20's 预测编译的程序表示:20年代早期的事态

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101171

A. F. da Silva, E. Borin, Fernando Magno Quintão Pereira, Nilton Luiz Queiroz, O. Napoli

引用次数: 2

A surprisingly simple Lua compiler—Extended version 一个非常简单的Lua编译器——扩展版

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101151

Hugo Musso Gualandi, Roberto Ierusalimschy

{"title":"A surprisingly simple Lua compiler—Extended version","authors":"Hugo Musso Gualandi, Roberto Ierusalimschy","doi":"10.1016/j.cola.2022.101151","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101151","url":null,"abstract":"<div>Dynamically-typed programming languages are often implemented using interpreters, which offer several advantages in terms of portability and flexibility of the implementation. However, as a language matures and its programs get bigger, programmers may seek compilers, to avoid the interpretation overhead.In this study, we present LuaAOT, a simple ahead-of-time compiler for Lua derived from the reference Lua interpreter. We describe two alternative compilation strategies. The first one exemplifies an old idea of using partial evaluation to produce a compiler based on an existing interpreter. Its contribution is to apply this idea to a well-established programming language. We show that with a quite modest effort it is possible to implement an efficient compiler that covers the entirety of Lua, including coroutines and tail calls. The whole implementation required less than 500 lines of new code. For this effort, we reduced the running time of our benchmarks from 20% to 60%.The second compilation strategy is based on function “outlining”, where each bytecode is implemented by a small subroutine. This strategy reduces executable sizes and compilation times, at the cost of not speeding up the running times as much as the first compilation method.</div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"72 ","pages":"Article 101151"},"PeriodicalIF":2.2,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72242279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Surveying communities of users of MATLAB and clone languages 调查MATLAB和克隆语言的用户社区

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101170

Eduardo Reis, Catarina Gralha, M. Monteiro

引用次数: 0

Context-sensitive parsing for programming languages 编程语言的上下文敏感解析

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101172

B. Slivnik

引用次数: 1

Investigating the relationships between class probabilities and users’ appropriate trust in computer vision classifications of ambiguous images 模糊图像计算机视觉分类中分类概率与用户适当信任度的关系研究

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101149

Gabriel Diniz Junqueira Barbosa, Dalai dos Santos Ribeiro, Marisa do Carmo Silva, Hélio Lopes, Simone Diniz Junqueira Barbosa

{"title":"Investigating the relationships between class probabilities and users’ appropriate trust in computer vision classifications of ambiguous images","authors":"Gabriel Diniz Junqueira Barbosa, Dalai dos Santos Ribeiro, Marisa do Carmo Silva, Hélio Lopes, Simone Diniz Junqueira Barbosa","doi":"10.1016/j.cola.2022.101149","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101149","url":null,"abstract":"<div>The large-scale adoption of systems that automate classifications using Machine Learning (ML) algorithms raises pressing challenges as they support or make decisions with profound consequences for human beings. It is important to understand how users’ trust is affected by ML models’ suggestions, even when those models are wrong. Many research efforts have focused on the user’s ability to interpret what a model has learned. In this paper, we seek to understand another aspect of ML interpretability: whether and how the presence of classification probabilities and their different distributions are related to users’ trust in model outcomes, especially in ambiguous instances. To this end, we conducted two online surveys in which we asked participants to evaluate their agreement with image classifications of pictures of animals made by an ML model. In the first, we analyze their trust before and after presenting them the model classification probabilities. In the second, we investigate the relationships between class probability distributions and users’ trust in the model. We found that, in some cases, the additional information is correlated with undue trust in the model’s classifications. However, in others, they are associated with inappropriate skepticism.</div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"72 ","pages":"Article 101149"},"PeriodicalIF":2.2,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72242277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Hapi: A domain-specific language for the declaration of access policies Hapi：用于声明访问策略的特定领域语言

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101153

Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira

{"title":"Hapi: A domain-specific language for the declaration of access policies","authors":"Vinícius Julião Ramos, Alexander Holmquist, Fernando Magno Quintão Pereira","doi":"10.1016/j.cola.2022.101153","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101153","url":null,"abstract":"<div>Access policies specify what are the actions that different actors can perform on available resources. Access policies are a core notion in multiuser environments, such as operating systems and distributed databases. Currently, most of these systems use general data specification languages, such as JSON, XML and YAML to describe access policies. Yet, domain-specific languages are also available for this task. One of such languages is Legalease, from Microsoft. This paper presents a new version of Legalease, called Hapi. Hapi replaces Legalease’s notion of a lattice with a partially ordered set (poset). Posets improve the expressivity of Legalease, at the expenses of a more expensive verification algorithm. This poset-based representation generalizes the notion of actors, actions and resources to user-defined entities. Hapi is publicly available. Its distribution includes a policy visualizer and a code-compression tool to efficiently store specifications.</div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"72 ","pages":"Article 101153"},"PeriodicalIF":2.2,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72242275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Combining stream with data parallelism abstractions for multi-cores 结合多核流和数据并行抽象

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101160

Júnior Löff, Renato B. Hoffmann, Dalvan Griebler, L. G. Fernandes

引用次数: 0

Automatic mandala pattern design and generation based on COOM framework 基于COOM框架的曼陀罗图案自动设计与生成

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101138

Shuchang Xu , Yu Zhang , Simin Yan

引用次数: 1

Taming stateful computations in Rust with typestates 用类型状态驯服Rust中的状态计算

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101154

José Duarte , António Ravara

{"title":"Taming stateful computations in Rust with typestates","authors":"José Duarte , António Ravara","doi":"10.1016/j.cola.2022.101154","DOIUrl":"https://doi.org/10.1016/j.cola.2022.101154","url":null,"abstract":"<div>As our lives become increasingly more reliant on software, the impact of its failures grows as well; these failures have diverse causes and their impact ranges from negligible to life-threatening; thus, it is our duty as developers to minimize their occurrence, just as other fields do.To that end, we build abstractions, move complexity from component to component, and much more, just to stop the end-user from shooting themselves in the foot. However, building said abstractions still requires the original author to know where the pitfalls lie and how to avoid them, an implicit contract that does not constitute a guarantee that they will not shoot themselves and their users in the feet.Rust aims to minimize the amount of handguns users have at their disposal, locking them behind special unsafe blocks and restricting the set of possible programs through static analysis; this analysis is performed by the compiler which ensures that the program does not contain memory related errors such as use-after-free bugs.While Rust is able to succeed in the previous domain, other error classes persist, such as errors related to API misusage. Our work aims to tackle that domain, providing a tool which enables developers to write safer APIs using typestates.We propose a macro which embeds a typestate description DSL in Rust which allows developers to specify typestates for their APIs; the typestate is checked at compile-time for common mistakes and to ensure the correct usage of the typestate, we leverage Rust’s type system.Our work only requires a Rust compiler, avoiding workflow bloat and keeping the development experience simple; it is open-source and available at https://github.com/rustype/typestate-rs<svg><path></path></svg>.</div>","PeriodicalId":48552,"journal":{"name":"Journal of Computer Languages","volume":"72 ","pages":"Article 101154"},"PeriodicalIF":2.2,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S259011842200051X/pdfft?md5=2622a5c710cc35277031a7c6298fd301&pid=1-s2.0-S259011842200051X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72242278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

COMORP: Rapid prototyping for mathematical database cost models development 用于数学数据库成本模型开发的快速原型

IF 2.2 3区计算机科学

Journal of Computer Languages Pub Date : 2022-10-01 DOI: 10.1016/j.cola.2022.101173

Abdelkader Ouared, Moussa Amrani, P. Schobbens

引用次数: 1