TOPLAS 2009

23 papers

1. A theory of contracts for Web services · Giuseppe Castagna, Nils Gesbert, Luca Padovani
2. An experimental analysis of self-adjusting computation · Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
3. Certificate translation for optimizing compilers · Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
4. Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system · Steve MacDonald, Kai Tan, Jonathan Schaeffer, Duane Szafron
5. Dependence clusters in source code · Mark Harman, David W. Binkley, Keith B. Gallagher, Nicolas Gold, Jens Krinke
6. Erratum to "Efficient constraint propagation engines" · Christian Schulte, Peter J. Stuckey
7. Expressive and modular predicate dispatch for Java · Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth
8. From datalog rules to efficient programs with time and space guarantees · Yanhong A. Liu, Scott D. Stoller
9. Local policies for resource usage analysis · Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
10. Mostly static program partitioning of binary executables · Efe Yardimci, Michael Franz
11. On the origins of bisimulation and coinduction · Davide Sangiorgi
12. Operational semantics for multi-language programs · Jacob Matthews, Robert Bruce Findler
13. Parametric polymorphism for XML · Haruo Hosoya, Alain Frisch, Giuseppe Castagna
14. Program locality analysis using reuse distance · Yutao Zhong, Xipeng Shen, Chen Ding
15. Program transformations using temporal logic side conditions · Sara Kalvala, Richard Warburton, David Lacey
16. Ranking functions for size-change termination · Chin Soon Lee
17. Remembrances of things past · Keshav Pingali, Kathryn S. McKinley
18. Revisiting coroutines · Ana Lúcia de Moura, Roberto Ierusalimschy
19. Self-stabilization preserving compiler · Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv
20. Separation and information hiding · Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
21. Sequent calculi and abstract machines · Zena M. Ariola, Aaron Bohannon, Amr Sabry
22. Term transformers: A new approach to state · Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell
23. The computational power and complexity of constraint handling rules · Jon Sneyers, Tom Schrijvers, Bart Demoen