Programming languages and systems [electronic resource] : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings / Kwangkeun Yi (ed.)
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | APLAS 2005. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2005.
|
| Series: | Lecture notes in computer science ;
3780. |
| Subjects: |
Table of Contents:
- 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.