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 3, May 2006

Type inference for unique pattern matching
Stijn Vansummeren
Pages: 389-428
DOI: 10.1145/1133651.1133652
Regular expression patterns provide a natural, declarative way to express constraints on semistructured data and to extract relevant information from it. Indeed, it is a core feature of the programming language Perl, surfaces in various UNIX tools...

Quantified types in an imperative language
Dan Grossman
Pages: 429-475
DOI: 10.1145/1133651.1133653
We describe universal types, existential types, and type constructors in Cyclone, a strongly typed C-like language. We show how the language naturally supports first-class polymorphism and polymorphic recursion while requiring an acceptable amount of...

Generating object lifetime traces with Merlin
Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanović
Pages: 476-516
DOI: 10.1145/1133651.1133654
Programmers are writing a rapidly growing number of programs in object-oriented languages, such as Java and C#, that require garbage collection. Garbage collection traces and simulation speed up research by enabling deeper understandings of...

MultiJava: Design rationale, compiler implementation, and applications
Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers
Pages: 517-575
DOI: 10.1145/1133651.1133655
MultiJava is a conservative extension of the Java programming language that adds symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch provides a solution to the binary method problem. Open classes provide a solution...