Abstract is missing.
- Type Checking Systems CodeJ. Gregory Morrisett. 1-5 [doi]
- Mixin Modules in a Call-by-Value SettingTom Hirschowitz, Xavier Leroy. 6-20 [doi]
- Existential Types for Imperative LanguagesDan Grossman. 21-35 [doi]
- Another Type System for In-Place UpdateDavid Aspinall, Martin Hofmann. 36-52 [doi]
- Soft Concurrent Constraint ProgrammingStefano Bistarelli, Ugo Montanari, Francesca Rossi. 53-67 [doi]
- Programming Languages for Compressing GraphicsMorgan McGuire, Shriram Krishnamurthi, John F. Hughes. 68-82 [doi]
- An Accumulative Parallel Skeleton for AllZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 83-97 [doi]
- Higher-Order Intensional Type AnalysisStephanie Weirich. 98-114 [doi]
- Branching TypesJ. B. Wells, Christian Haack. 115-132 [doi]
- Exceptions, Continuations and Macro-expressivenessJames Laird. 133-146 [doi]
- A Theory of Second-Order TreesNeal Glew. 147-161 [doi]
- Tool Support for Improving Test CoverageSusan Horwitz. 162-177 [doi]
- Data Space Oriented TilingMahmut T. Kandemir. 178-193 [doi]
- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics ApproachMatthieu Martel. 194-208 [doi]
- Asserting the Precision of Floating-Point Computations: A Simple Abstract InterpreterEric Goubault, Matthieu Martel, Sylvie Putot. 209-212 [doi]
- A Modular, Extensible Proof Method for Small-Step Flow AnalysesMitchell Wand, Galen B. Williamson. 213-227 [doi]
- A Prototype Dependency CalculusPeter Thiemann. 228-242 [doi]
- Automatic Complexity AnalysisFlemming Nielson, Hanne Riis Nielson, Helmut Seidl. 243-261 [doi]
- Thread-Modular Verification for Shared-Memory ProgramsCormac Flanagan, Stephen N. Freund, Shaz Qadeer. 262-277 [doi]
- Timing UDP: Mechanized Semantics for Sockets, Threads, and FailuresKeith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov. 278-294 [doi]
- Finite-Control Mobile AmbientsWitold Charatonik, Andrew D. Gordon, Jean-Marc Talbot. 295-313 [doi]
- Dependency Analysis of Mobile SystemsJérôme Feret. 314-330 [doi]