ESOP 2002

22 papers

1. A Modular, Extensible Proof Method for Small-Step Flow Analyses · Mitchell Wand, Galen B. Williamson
2. A Prototype Dependency Calculus · Peter Thiemann
3. A Theory of Second-Order Trees · Neal Glew
4. An Accumulative Parallel Skeleton for All · Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
5. Another Type System for In-Place Update · David Aspinall, Martin Hofmann
6. Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter · Eric Goubault, Matthieu Martel, Sylvie Putot
7. Automatic Complexity Analysis · Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
8. Branching Types · Joe B. Wells, Christian Haack
9. Data Space Oriented Tiling · Mahmut T. Kandemir
10. Dependency Analysis of Mobile Systems · Jérôme Feret
11. Exceptions, Continuations and Macro-expressiveness · James Laird
12. Existential Types for Imperative Languages · Dan Grossman
13. Finite-Control Mobile Ambients · Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
14. Higher-Order Intensional Type Analysis · Stephanie Weirich
15. Mixin Modules in a Call-by-Value Setting · Tom Hirschowitz, Xavier Leroy
16. Programming Languages for Compressing Graphics · Morgan McGuire, Shriram Krishnamurthi, John F. Hughes
17. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach · Matthieu Martel
18. Soft Concurrent Constraint Programming · Stefano Bistarelli, Ugo Montanari, Francesca Rossi
19. Thread-Modular Verification for Shared-Memory Programs · Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
20. Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures · Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov
21. Tool Support for Improving Test Coverage · Susan Horwitz
22. Type Checking Systems Code · J. Gregory Morrisett