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 2, March 2003

Intensional analysis of quantified types
Bratin Saha, Valery Trifonov, Zhong Shao
Pages: 159-209
DOI: 10.1145/641888.641889
Compilers for polymorphic languages can use run-time type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a...

A transformational approach to binary translation of delayed branches
Norman Ramsey, Cristina Cifuentes
Pages: 210-224
DOI: 10.1145/641888.641890
A binary translator examines binary code for a source machine and generates code for a target machine. Understanding what to do with delayed branches in binary code can involve tricky case analyses, for example, if there is a branch instruction in a...

PolyTOIL: A type-safe polymorphic object-oriented language
Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
Pages: 225-290
DOI: 10.1145/641888.641891
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking...