Programming Languages and Systems(程序语言和系统) mobi 下载 网盘 caj lrf pdf txt 阿里云

This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004.

The 26 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 97 submissions. Among the topics covered are type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, functional programming languages, language support, component systems, real-time systems, embedded systems, formal systems design, object-oriented design, Java objects, program optimization .

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Programming Languages and Systems(程序语言和系统)在线阅读

在线听书地址：Programming Languages and Systems(程序语言和系统)在线收听

在线购买地址：Programming Languages and Systems(程序语言和系统)在线购买

暂无原文赏析，正在全力查找中！

编辑推荐

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.)