Skip to main content
SpringerLink
Log in

Programming Languages and Systems

6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. G. Ramalingam

    1. Microsoft Research India, Bangalore, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5356)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

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.

Editors and Affiliations

  • Microsoft Research India, Bangalore, India

    G. Ramalingam

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation