Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3780 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
