编程语言与系统/Programming languages and systems
点此进入淘宝搜索页搜索分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者： Naoki Kobayashi著
出 版 社： 湖南文艺出版社
出版时间： 2006-12-1字数：版次： 1页数： 422印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540489375包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
内容简介
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 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: Towards Extensional Semantics for Effect Analyses
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 TheirLogics
Polymorphism, Subtyping, Whole Program Analysis and AccurateData 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 Extensionsin an Existing Class Hierarchy
Combining Offline and Online Optimizations: Register Allocationand Method Inlining
……
Sessin 7
Sessin 8