Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / [electronic resource] :
edited by Kwangkeun Yi.
- 1st ed. 2005.
- XIV, 442 p. online resource.
- Programming and Software Engineering, 3780 2945-9168 ; .
- Programming and Software Engineering, 3780 .
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis -- Loop Invariants on Demand -- Invited Talk -- Integrating Physical Systems in the Static Analysis of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating Polynomial Runtime Properties -- Resource Bound Certification for a Tail-Recursive Virtual Machine -- A Path Sensitive Type System for Resource Usage Verification of C Like Languages -- Termination Analysis of Higher-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis -- Register Allocation Via Coloring of Chordal Graphs -- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis -- Abstract Dependences for Alarm Diagnosis -- A Typed, Compositional Logic for a Stack-Based Abstract Machine -- A New Occurrence Counting Analysis for BioAmbients -- A Parametric Model for the Analysis of Mobile Ambients -- On the Rôle of Abstract Non-interference in Language-Based Security.
9783540322474
10.1007/11575467 doi
Software engineering.
Compilers (Computer programs).
Computer science.
Operating systems (Computers).
Computer programming.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Operating Systems.
Programming Techniques.
QA76.758
005.1
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis -- Loop Invariants on Demand -- Invited Talk -- Integrating Physical Systems in the Static Analysis of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating Polynomial Runtime Properties -- Resource Bound Certification for a Tail-Recursive Virtual Machine -- A Path Sensitive Type System for Resource Usage Verification of C Like Languages -- Termination Analysis of Higher-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis -- Register Allocation Via Coloring of Chordal Graphs -- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis -- Abstract Dependences for Alarm Diagnosis -- A Typed, Compositional Logic for a Stack-Based Abstract Machine -- A New Occurrence Counting Analysis for BioAmbients -- A Parametric Model for the Analysis of Mobile Ambients -- On the Rôle of Abstract Non-interference in Language-Based Security.
9783540322474
10.1007/11575467 doi
Software engineering.
Compilers (Computer programs).
Computer science.
Operating systems (Computers).
Computer programming.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Operating Systems.
Programming Techniques.
QA76.758
005.1