Abstract is missing.
- Extensionality and Intensionality of the Ambient LogicsDavide Sangiorgi. 4-13
- BI as an Assertion Language for Mutable Data StructuresSamin S. Ishtiaq, Peter W. O Hearn. 14-26
- Verifying safety properties of concurrent Java programs using 3-valued logicEran Yahav. 27-40 [doi]
- Colored local type inferenceMartin Odersky, Christoph Zenger, Matthias Zenger. 41-53 [doi]
- Type-base flow analysis: from polymorphic subtyping to CFL-reachabilityJakob Rehof, Manuel Fähndrich. 54-66 [doi]
- Regular expression pattern matching for XMLHaruo Hosoya, Benjamin C. Pierce. 67-80 [doi]
- The size-change principle for program terminationChin Soon Lee, Neil D. Jones, Amir M. Ben-Amram. 81-92 [doi]
- Efficient deductive methods for program analysisHarald Ganzinger. 102-103 [doi]
- Mobile values, new names, and secure communicationMartín Abadi, Cédric Fournet. 104-115 [doi]
- Nomadic pict: correct communication infrastructure for mobile computationAsis Unyapoth, Peter Sewell. 116-127 [doi]
- A generic type system for the Pi-calculusAtsushi Igarashi, Naoki Kobayashi. 128-141 [doi]
- Oracle-based checking of untrusted softwareGeorge C. Necula, Shree Prakash Rahul. 142-154 [doi]
- Stratified operational semantics for safety and correctness of the region calculusCristiano Calcagno. 155-165 [doi]
- Type-preserving garbage collectorsDaniel C. Wang, Andrew W. Appel. 166-178 [doi]
- A compiler technique for improving whole-program localityMahmut T. Kandemir. 179-192 [doi]
- Avoiding exponential explosion: generating compact verification conditionsCormac Flanagan, James B. Saxe. 193-205 [doi]
- What packets may come: automata for network monitoringKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter. 206-219 [doi]
- Computational fluxRobin Milner. 220-221 [doi]
- Secure safe ambientsMichele Bugliesi, Giuseppe Castagna. 222-235 [doi]
- Modules, abstract types, and distributed versioningPeter Sewell. 236-247 [doi]
- Typing a multi-language intermediate codeAndrew D. Gordon, Don Syme. 248-260 [doi]
- Type-indexed rowsMark Shields, Erik Meijer. 261-275 [doi]
- Subtyping arithmetical typesJoseph Gil. 276-289 [doi]
- Combining subsumption and binary methods: an object calculus with viewsJérôme Vouillon. 290-303 [doi]