Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: Proceedings

by Kobayashi, Naoki

• ISBN13: 9783540489375
• ISBN10: 3540489371
• Format: Paperback
• Copyright: 2007-01-03
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. The 22 revised full papers presented together with 2 invited talks and 1 tutorial were carefully reviewed and selected from 70 submissions. The symposium is devoted to both foundational and practical issues in programming languages and systems. Among the topics covered are semantics, logics, type theory, language design, program analysis, optimization and transformation, software security, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

Table of Contents

Type processing by constraint reasoning	p. 1
Principal type inference for GHC-style multi-parameter type classes	p. 26
Private row types : abstracting the unnamed	p. 44
Type and effect system for multi-staged exceptions	p. 61
Relational reasoning for recursive types and references	p. 79
Proof abstraction for imperative languages	p. 97
Reading, writing and relations : towards extensional semantics for effect analyses	p. 114
A fine-grained join point model for more reusable aspects	p. 131
Automatic testing of higher order functions	p. 148
Event driven software quality	p. 165
Widening polyhedra with landmarks	p. 166
Comparing completeness properties of static analyses and their logics	p. 183
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis	p. 200
A modal language for the safety of mobile values	p. 217
An Analysis for proving temporal properties of biological systems	p. 234
Computational secrecy by typing for the Pi calculus	p. 253
Scheme with classes, mixins, and traits	p. 270
Using metadata transformations to integrate class extensions in an existing class hierarchy	p. 290
Combining offline and online optimizations : register allocation and method inlining	p. 307
A localized tracing scheme applied to garbage collection	p. 323
A pushdown machine for recursive XML processing	p. 340
XML validation for context-free grammars	p. 357
A practical string analyzer by the widening approach	p. 374
A bytecode logic for JML and types	p. 389
On Jones-optimal specializers : a case study using unmix	p. 406
Table of Contents provided by Blackwell. All Rights Reserved.