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

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

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

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

Investigating a visual interface for elementary students to formulate AI planning tasks 为小学生设计一个可视化界面来制定人工智能规划任务

IF 2.2 3区计算机科学

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

Kyungjin Park, Bradford W. Mott, S. J. Lee, Anisha Gupta, Katie Jantaraweragul, Krista D. Glazewski, J. Scribner, Anne T. Ottenbreit-Leftwich, C. Hmelo‐Silver, James Lester

引用次数: 2

PeachPie: Mature PHP to CLI compiler 成熟的PHP到CLI编译器

IF 2.2 3区计算机科学

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

Robert Husák, Jakub Mísek, F. Zavoral, J. Kofroň

引用次数: 0

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

IF 2.2 3区计算机科学

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

J. Duarte, A. Ravara

引用次数: 1