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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kobayashi, Naoki (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4279
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.; Programming Techniques.; Mathematical Logic and Formal Languages.

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions wer...

Πίνακας περιεχομένων:

• Invited Talk 1
• Type Processing by Constraint Reasoning
• Session 1
• Principal Type Inference for GHC-Style Multi-parameter Type Classes
• Private Row Types: Abstracting the Unnamed
• Type and Effect System for Multi-staged Exceptions
• Session 2
• Relational Reasoning for Recursive Types and References
• Proof Abstraction for Imperative Languages
• Reading, Writing and Relations
• Session 3
• A Fine-Grained Join Point Model for More Reusable Aspects
• Automatic Testing of Higher Order Functions
• Invited Talk 2
• Event Driven Software Quality
• Session 4
• Widening Polyhedra with Landmarks
• Comparing Completeness Properties of Static Analyses and Their Logics
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• Session 5
• A Modal Language for the Safety of Mobile Values
• An Analysis for Proving Temporal Properties of Biological Systems
• Computational Secrecy by Typing for the Pi Calculus
• Invited Tutorial
• Scheme with Classes, Mixins, and Traits
• Session 6
• Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
• Combining Offline and Online Optimizations: Register Allocation and Method Inlining
• A Localized Tracing Scheme Applied to Garbage Collection
• Session 7
• A Pushdown Machine for Recursive XML Processing
• XML Validation for Context-Free Grammars
• A Practical String Analyzer by the Widening Approach
• Session 8
• A Bytecode Logic for JML and Types
• On Jones-Optimal Specializers: A Case Study Using Unmix.