Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 28 Issue 2, March 2006

Types for safe locking: Static race detection for Java
Martin Abadi, Cormac Flanagan, Stephen N. Freund
Pages: 207-255
DOI: 10.1145/1119479.1119480
This article presents a static race-detection analysis for multithreaded shared-memory programs, focusing on the Java programming language. The analysis is based on a type system that captures many common synchronization patterns. It supports classes...

Nontermination inference of logic programs
Etienne Payet, Fred Mesnard
Pages: 256-289
DOI: 10.1145/1119479.1119481
We present a static analysis technique for nontermination inference of logic programs. Our framework relies on an extension of the subsumption test, where some specific argument positions can be instantiated while others are generalized. We give...

A bisimulation-based semantic theory of Safe Ambients
Massimo Merro, Matthew Hennessy
Pages: 290-330
DOI: 10.1145/1119479.1119482
We develop a semantics theory for SAP, a variant of Levi and Sangiorgi's Safe Ambients, SA.The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with...

Traits: A mechanism for fine-grained reuse
Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black
Pages: 331-388
DOI: 10.1145/1119479.1119483
Inheritance is well-known and accepted as a mechanism for reuse in object-oriented languages. Unfortunately, due to the coarse granularity of inheritance, it may be difficult to decompose an application into an optimal class hierarchy that maximizes...