APLAS 2008:
Bangalore,
India
G. Ramalingam (Ed.):
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings.
Lecture Notes in Computer Science 5356 Springer 2008, ISBN 978-3-540-89329-5 BibTeX
- Dino Distefano:
Abductive Inference for Reasoning about Heaps.
1-2
Electronic Edition (link) BibTeX
- Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain.
3-18
Electronic Edition (link) BibTeX
- Alexandru Stefan, Florin Craciun, Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI.
19-35
Electronic Edition (link) BibTeX
- Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.
36-52
Electronic Edition (link) BibTeX
- Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma:
Static Detection of Place Locality and Elimination of Runtime Checks.
53-74
Electronic Edition (link) BibTeX
- Gilles Barthe, César Kunz, Jorge Luis Sacchini:
Certified Reasoning in Memory Hierarchies.
75-90
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage.
91-106
Electronic Edition (link) BibTeX
- Xin Chen, Yuxin Deng:
Game Characterizations of Process Equivalences.
107-121
Electronic Edition (link) BibTeX
- Kazuyuki Asada:
Extensional Universal Types for Call-by-Value.
122-137
Electronic Edition (link) BibTeX
- Simon L. Peyton Jones:
Harnessing the Multicores: Nested Data Parallelism in Haskell.
138
Electronic Edition (link) BibTeX
- Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen:
Minimal Ownership for Active Objects.
139-154
Electronic Edition (link) BibTeX
- Kohei Suenaga:
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.
155-170
Electronic Edition (link) BibTeX
- Christian Haack, Marieke Huisman, Clément Hurlin:
Reasoning about Java's Reentrant Locks.
171-187
Electronic Edition (link) BibTeX
- Stefan Wehr, Manuel M. T. Chakravarty:
ML Modules and Haskell Type Classes: A Constructive Comparison.
188-204
Electronic Edition (link) BibTeX
- Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
The Essence of Form Abstraction.
205-220
Electronic Edition (link) BibTeX
- Roberto M. Amadio, Mehdi Dogguy:
On Affine Usages in Signal-Based Communication.
221-236
Electronic Edition (link) BibTeX
- Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems.
237-254
Electronic Edition (link) BibTeX
- Radha Jagadeesan:
From Authorization Logics to Types for Authorization.
255
Electronic Edition (link) BibTeX
- Peter Thiemann, Stefan Wehr:
Interface Types for Haskell.
256-272
Electronic Edition (link) BibTeX
- Matthias Blume, Umut A. Acar, Wonseok Chae:
Exception Handlers as Extensible Cases.
273-289
Electronic Edition (link) BibTeX
- Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith:
Sound and Complete Type Inference for a Systems Programming Language.
290-306
Electronic Edition (link) BibTeX
- Sergio Maffeis, John C. Mitchell, Ankur Taly:
An Operational Semantics for JavaScript.
307-325
Electronic Edition (link) BibTeX
- Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
JavaScript Instrumentation in Practice.
326-341
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:11 2009
by Michael Ley (ley@uni-trier.de)