| 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.) |
| 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 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 …… Sessin 7 Sessin 8 |
内容加载中，请稍后...
商品评论（0条）