Programming Languages and Systems编程语言与系统/会议录

出版时间：2005-12  出版社：1 (2005年12月1日)  作者：Kwangkeun Yi  页数：433  

内容概要

This book constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. The 24 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 78 submissions. Among the topics covered are semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, language based security, real-time systems, embedded systems, formal systems design, Java objects, program analysis and optimization.

书籍目录

Invited Talk  Type Systems for XMLSession 1  The Essence of Dataflow Porgramming  Data Refinement with Low-Level Pointer Operations  A Simple Semantices for Polymorphic Recursion  Symbolic Execution with Sparation LogicSession 2  An Abstract Inerpertation Perspective on Linear vs.Branching Time  The Parallel Implementation fo the Astree Statioc Analyzer  Using Datalog with Binary Decision Dagrams for Program Analysis  Loop Invarriants on Demand Invited Talk   Integrating Physical Systems in the Static Analysis of Embedded Control SofrwareSession 3  Reflection Analysis for Java   Lightweight Family Polymirphsm   A Portablde and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting   Race Conditions is Message Sequence ChartsInvited Talk   A Next-generation Platform for Analyzing ExecutablesSeeion 4  Calculating Polynomial Runtime Properties  Resource Bund Certification for a Tail-Resource Usage Verification of C Like Languages  Termination Analysis of Higher-Order Functional ProgramsSession 5  Heterogeneous Fixes Points with Application to Points-to Analysis  Fegister Allocation Via Coloring of Chordal Graphs   Transformation to Dynamic Single Assingnment Using a Simple Data Flow Analysis  Abstract Deperndences for Alarm DiagnosisSession 6  A Typed, Compotitional Logic for a Stack-Based Abstract Machinge   A New Occurrence Counting Analysis for Bio Ambients  A Parmametric Model for the Amalysis of Mobile Ambients   On the Role of Abstract Non-interference in Language-Based SecurityAuthor Lndex