Abstract is missing.
- Abductive Inference for Reasoning about HeapsDino Distefano. 1-2 [doi]
- A Sound Floating-Point Polyhedra Abstract DomainLiqian Chen, Antoine Miné, Patrick Cousot. 3-18 [doi]
- A Flow-Sensitive Region Inference for CLIAlexandru Stefan, Florin Craciun, Wei-Ngan Chin. 19-35 [doi]
- Context-Sensitive Relevancy Analysis for Efficient Symbolic ExecutionXin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid. 36-52 [doi]
- Static Detection of Place Locality and Elimination of Runtime ChecksShivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma. 53-74 [doi]
- Certified Reasoning in Memory HierarchiesGilles Barthe, César Kunz, Jorge Luis Sacchini. 75-90 [doi]
- The Complexity of CoverageKrishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar. 91-106 [doi]
- Game Characterizations of Process EquivalencesXin Chen, Yuxin Deng. 107-121 [doi]
- Extensional Universal Types for Call-by-ValueKazuyuki Asada. 122-137 [doi]
- Harnessing the Multicores: Nested Data Parallelism in HaskellSimon L. Peyton Jones. 138 [doi]
- Minimal Ownership for Active ObjectsDave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen. 139-154 [doi]
- Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable ReferencesKohei Suenaga. 155-170 [doi]
- Reasoning about Java s Reentrant LocksChristian Haack, Marieke Huisman, Clément Hurlin. 171-187 [doi]
- ML Modules and Haskell Type Classes: A Constructive ComparisonStefan Wehr, Manuel M. T. Chakravarty. 188-204 [doi]
- The Essence of Form AbstractionEzra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. 205-220 [doi]
- On Affine Usages in Signal-Based CommunicationRoberto M. Amadio, Mehdi Dogguy. 221-236 [doi]
- Abstraction of Clocks in Synchronous Data-Flow SystemsAlbert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet. 237-254 [doi]
- From Authorization Logics to Types for AuthorizationRadha Jagadeesan. 255 [doi]
- Interface Types for HaskellPeter Thiemann, Stefan Wehr. 256-272 [doi]
- Exception Handlers as Extensible CasesMatthias Blume, Umut A. Acar, Wonseok Chae. 273-289 [doi]
- Sound and Complete Type Inference for a Systems Programming LanguageSwaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith. 290-306 [doi]
- An Operational Semantics for JavaScriptSergio Maffeis, John C. Mitchell, Ankur Taly. 307-325 [doi]
- JavaScript Instrumentation in PracticeHaruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov. 326-341 [doi]