product iamge

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Dino Distefano (auth.), G. Ramalingam (eds.)
Series: Lecture Notes in Computer Science 5356 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008

Language: English
Pages: 343
Tags: Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Operating Systems; Programming Techniques; Mathematical Logic and Formal Languages

Front Matter....Pages -
Abductive Inference for Reasoning about Heaps....Pages 1-2
A Sound Floating-Point Polyhedra Abstract Domain....Pages 3-18
A Flow-Sensitive Region Inference for CLI....Pages 19-35
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution....Pages 36-52
Static Detection of Place Locality and Elimination of Runtime Checks....Pages 53-74
Certified Reasoning in Memory Hierarchies....Pages 75-90
The Complexity of Coverage....Pages 91-106
Game Characterizations of Process Equivalences....Pages 107-121
Extensional Universal Types for Call-by-Value....Pages 122-137
Harnessing the Multicores: Nested Data Parallelism in Haskell....Pages 138-138
Minimal Ownership for Active Objects....Pages 139-154
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References....Pages 155-170
Reasoning about Java’s Reentrant Locks....Pages 171-187
ML Modules and Haskell Type Classes: A Constructive Comparison....Pages 188-204
The Essence of Form Abstraction....Pages 205-220
On Affine Usages in Signal-Based Communication....Pages 221-236
Abstraction of Clocks in Synchronous Data-Flow Systems....Pages 237-254
From Authorization Logics to Types for Authorization....Pages 255-255
Interface Types for Haskell....Pages 256-272
Exception Handlers as Extensible Cases....Pages 273-289
Sound and Complete Type Inference for a Systems Programming Language....Pages 290-306
An Operational Semantics for JavaScript....Pages 307-325
JavaScript Instrumentation in Practice....Pages 326-341
Back Matter....Pages -