Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 24 Issue 2, March 2002

Guest editorial
Kathleen Fisher, Benjamin C. Pierce
Pages: 111-111
DOI: 10.1145/514952.514953
The Eighth International Workshop on Foundations of Object-Oriented Languages (FOOL 8) was held on January 20, 2001, colocated with the ACM Symposium on Principles of Programming Languages in London. Kathleen Fisher chaired the program committee. Six...

Type-preserving compilation of Featherweight Java
Christopher League, Zhong Shao, Valery Trifonov
Pages: 112-152
DOI: 10.1145/514952.514954
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and self-application for...

More dynamic object reclassification: Fickle
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Pages: 153-191
DOI: 10.1145/514952.514955
Reclassification changes the class membership of an object at run-time while retaining its identity. We suggest language features for object reclassification, which extend an imperative, typed, class-based, object-oriented language.We present...