Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 25 Issue 3, May 2003

A foundation for embedded languages
Morten Rhiger
Pages: 291-315
DOI: 10.1145/641909.641910
Recent work on embedding object languages into Haskell use "phantom types" (i.e., parameterized types whose parameter does not occur on the right-hand side of the type definition) to ensure that the embedded object-language terms are simply typed....

Eliminating synchronization bottlenecks using adaptive replication
Martin C. Rinard, Pedro C. Diniz
Pages: 316-359
DOI: 10.1145/641909.641911
This article presents a new technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on objects. Synchronization bottlenecks occur when multiple threads...

Stack inspection: Theory and variants
Cédric Fournet, Andrew D. Gordon
Pages: 360-399
DOI: 10.1145/641909.641912
Stack inspection is a security mechanism implemented in runtimes such as the JVM and the CLR to accommodate components with diverse levels of trust. Although stack inspection enables the fine-grained expression of access control policies, it has...