编程语言与系统/Programming languages and systems
2006-12
湖南文艺出版社
Kobayashi, Naoki
422
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.
Invited Talk 1 Type Processing by Constraint ReasoningSession 1 Principal Type Inference for GHC-Style Multi-parameter Type Classes Private Row Types: Abstracting the Unnamed Type and Effect System for Multi-staged ExceptionsSession 2 Relational Reasoning for Recursive Types and References Proof Abstraction for Imperative Languages Reading, Writing and Relations: Towards Extensional Semantics for Effect AnalysesSession 3 A Fine-Grained Join Point Model for More Reusable Aspects Automatic Testing of Higher Order FunctionsInvited Talk 2 Event Driven Software QualitySession 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 AnalysisSession 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 CalculusInvited Tutorial Scheme with Classes, Mixins, and TraitsSession 6 Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy Combining Offline and Online Optimizations: Register Allocation and Method Inlining……Sessin 7Sessin 8
编程语言与系统/Programming languages and systems PDF格式下载