TOPLAS 2001

17 papers

1. A framework for call graph construction algorithms · David Grove, Craig Chambers
2. A schema for interprocedural modification side-effect analysis with pointer aliasing · Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher
3. An indexed model of recursive types for foundational proof-carrying code · Andrew W. Appel, David A. McAllester
4. Efficient Java RMI for parallel programming · Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs + 1 more
5. Error repair with validation in LR-based parsing · Ik-Soon Kim, Kwang-Moo Choe
6. Featherweight Java: a minimal core calculus for Java and GJ · Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
7. Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits · Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely + 2 more
8. Mechanizing a theory of program composition for UNITY · Lawrence C. Paulson
9. Model checking of hierarchical state machines · Rajeev Alur, Mihalis Yannakakis
10. Operator strength reduction · Keith D. Cooper, L. Taylor Simpson, Christopher A. Vick
11. Parallel execution of prolog programs: a survey · Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
12. Scheduling time-constrained instructions on pipelined processors · Allen Leung, Krishna V. Palem, Amir Pnueli
13. Semiring-based contstraint logic programming: syntax and semantics · Stefano Bistarelli, Ugo Montanari, Francesca Rossi
14. Synthesis of concurrent programs for an atomic read/write model of computation · Paul C. Attie, E. Allen Emerson
15. Transformations of CCP programs · Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
16. Type elaboration and subtype completion for Java bytecode · Todd B. Knoblock, Jakob Rehof
17. Using types to analyze and optimize object-oriented programs · Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss