ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 21 Issue 1, Jan. 1999

On failure of the pruning technique in “Error repair in shift-reduce parsers”
Eberhard Bertsch, Mark-Jan Nederhof
Pages: 1-10
DOI: 10.1145/314602.314603
A previous article presented a technique to compute the least-cost error repair by incrementally generating configurations that result from inserting and deleting tokens a syntactically incorrect input. An additional mechanism to improve the...

Dynamic typing for distributed programming in polymorphic languages
Dominic Duggan
Pages: 11-45
DOI: 10.1145/314602.314604
While static typing is widely accepted as being necessary for secure program execution, dynamic typing is also viewed as being essential in some applications, particularly for distributed programming environments. Dynamics have...

Specification and verification of fault-tolerance, timing, and scheduling
Zhiming Liu, Mathai Joseph
Pages: 46-89
DOI: 10.1145/314602.314605
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these non-functional and functional properties can be...

A type system for Java bytecode subroutines
Raymie Stata, Martin Abadi
Pages: 90-137
DOI: 10.1145/314602.314606
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifier enforces static constraints that prevent various dynamic...

Space-efficient scheduling of nested parallelism
Girija J. Narlikar, Guy E. Blelloch
Pages: 138-173
DOI: 10.1145/314602.314607
Many of today's high-level parallel languages support dynamic, fine-grained parallelism. These languages allow the user to expose all the parallelism in the program, which is typically of a much higher degree than the number of processors....