美国计算机协会期刊
期刊
会议
图书
作者:Tetsuro Yamazaki , Tomoki Nakamaru , Kazuhiro Ichikawa ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-24
摘要:This paper proposes a fluent API generator for Scala, Haskell, and C++. It receives a grammar definition and generates a code skeleton of the library in the host programming language. The generated library is accessed through a chain of method calls; this style of API is called a...
作者:Théophile Bastian , Stephen Kell , Francesco Zappa Nardelli
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-24
摘要:Debug information, usually encoded in the DWARF format, is a hidden and obscure component of our computing infrastructure. Debug information is obviously used by debuggers, but it also plays a key role in program analysis tools, and, most surprisingly, it can be relied upon by th...
作者:Ahmet Celik , Pengyu Nie , Christopher J. Rossbach ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-28
摘要:We present the design and implementation of GVM, the first system for executing Java bytecode entirely on GPUs. GVM is ideal for applications that execute a large number of short-living tasks, which share a significant fraction of their codebase and have similar execution time. G...
作者:Yi Li , Shaohua Wang , Tien N. Nguyen ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-30
摘要:Bug detection has been shown to be an effective way to help developers in detecting bugs early, thus, saving much effort and time in software development process. Recently, deep learning-based bug detection approaches have gained successes over the traditional machine learni...
作者:Bo Shen , Wei Zhang , Haiyan Zhao ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-28
摘要:In modern software development, developers rely on version control systems like Git to collaborate in the branch-based development workflow. One downside of this workflow is the conflicts occurred when merging contributions from different developers: these conflicts are tedious a...
作者:Kaan Genç , Jake Roemer , Yufan Xu ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-30
摘要:Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, unobserved execution. However, existing predictive analyses miss races because they do not scale to ful...
作者:Rajkishore Barik , Manu Sridharan , Murali Krishna Ramanathan ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-27
摘要:Swift, an increasingly-popular programming language, advocates the use of protocols, which define a set of required methods and properties for conforming types. Protocols are commonly used in Swift programs for abstracting away implementation details; e.g., in a large industrial ...
作者:Ian Henriksen , Gianfranco Bilardi , Keshav Pingali
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-28
摘要:We present a novel approach to context-free grammar parsing that is based on generating a sequence of grammars called derivative grammars from a given context-free grammar and input string. The generation of the derivative grammars is described by a few simple inference rules. We...
作者:Pavel Panchekha , Michael D. Ernst , Zachary Tatlock ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-26
摘要:Automated verification can ensure that a web page satisfies accessibility, usability, and design properties regardless of the end user's device, preferences, and assistive technologies. However, state-of-the-art verification tools for layout properties do not scale to large pages...
作者:Anders Miltner , Sumit Gulwani , Vu Le ...
来源:[J].Proceedings of the ACM on Programming Languages, 2019, Vol.3 (OOPSLA), pp.1-29
摘要:When working with a document, users often perform context-specific repetitive edits – changes to the document that are similar but specific to the contexts at their locations. Programming by demonstration/examples (PBD/PBE) systems automate these tasks by learning programs t...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×