| 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 A CLP Approach to Modelling Systems Session 1 An Algebraic Approach to Bi-directional Updating Network Fusion Session 2 Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type An Implementation of Subtyping Among Regular Expression Types An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors Session 3 Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story History Effects and Verification Controlled Declassification Based on Intransitive Noninterference Session 4 A Concurrent System of Multi-ported Processes with Causal Dependency Concurrency Combinators for Declarative Synchronization A Uniform Reduction Equivalence for Process Calculi Invited Talk Substructural Operational Semantics and Linear Destination-Passing Style Session 5 PType System: A Featherweight Parallelizability Detector A Type Theory for Krivine-Style Evaluation and Compilation Region-Based Memory Management for a Dynamically-Typed Language Session 6 Protocol Specialization Automatic Generation of Editors for Higher-Order Data Structures A MATLAB-Based Code Generator for Sparse Matrix Computations Session 7 D-Fusion: A Distinctive Fusion Calculus A Functional Language for Logarithmic Space Build, Augment and Destroy, Universally Free Z-Monoids: A Higher-Order Syntax with Metavariables Inited Talk Session 8 Session 9 Author Index |
内容加载中，请稍后...
商品评论（0条）