Programming Languages and Systems

1. Front Matter

   PDF

2. Abductive Inference for Reasoning about Heaps

   • Dino Distefano

   Pages 1-2

3. A Sound Floating-Point Polyhedra Abstract Domain

   • Liqian Chen, Antoine Miné, Patrick Cousot

   Pages 3-18

4. A Flow-Sensitive Region Inference for CLI

   • Alexandru Stefan, Florin Craciun, Wei-Ngan Chin

   Pages 19-35

5. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution

   • Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

   Pages 36-52

6. Static Detection of Place Locality and Elimination of Runtime Checks

   • Shivali Agarwal, RajKishore Barik, V. Krishna Nandivada, Rudrapatna K. Shyamasundar, Pradeep Varma

   Pages 53-74

7. Certified Reasoning in Memory Hierarchies

   • Gilles Barthe, César Kunz, Jorge Luis Sacchini

   Pages 75-90

8. The Complexity of Coverage

   • Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar

   Pages 91-106

9. Game Characterizations of Process Equivalences

   • Xin Chen, Yuxin Deng

   Pages 107-121

10. Extensional Universal Types for Call-by-Value

    • Kazuyuki Asada

    Pages 122-137

11. Harnessing the Multicores: Nested Data Parallelism in Haskell

    • Simon Peyton Jones

    Pages 138-138

12. Minimal Ownership for Active Objects

    • Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen

    Pages 139-154

13. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References

    • Kohei Suenaga

    Pages 155-170

14. Reasoning about Java’s Reentrant Locks

    • Christian Haack, Marieke Huisman, Clément Hurlin

    Pages 171-187

15. ML Modules and Haskell Type Classes: A Constructive Comparison

    • Stefan Wehr, Manuel M. T. Chakravarty

    Pages 188-204

16. The Essence of Form Abstraction

    • Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

    Pages 205-220

17. On Affine Usages in Signal-Based Communication

    • Roberto M. Amadio, Mehdi Dogguy

    Pages 221-236

18. Abstraction of Clocks in Synchronous Data-Flow Systems

    • Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet

    Pages 237-254

19. From Authorization Logics to Types for Authorization

    • Radha Jagadeesan

    Pages 255-255

20. Interface Types for Haskell

    • Peter Thiemann, Stefan Wehr

    Pages 256-272

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

• APL
• LA
• bisimulation
• commutation
• concurrency
• design
• logic programming
• object-orientation
• operational semantics
• prog
• program semantics
• program transformation
• programming
• programming language
• verification

• Microsoft Research India, Bangalore, India

  G. Ramalingam

Policies and ethics