APLAS 2006
25 papers
- A Bytecode Logic for JML and Types
- A Fine-Grained Join Point Model for More Reusable Aspects
- A Localized Tracing Scheme Applied to Garbage Collection
- A Modal Language for the Safety of Mobile Values
- A Practical String Analyzer by the Widening Approach
- A Pushdown Machine for Recursive XML Processing
- An Analysis for Proving Temporal Properties of Biological Systems
- Automatic Testing of Higher Order Functions
- Combining Offline and Online Optimizations: Register Allocation and Method Inlining
- Comparing Completeness Properties of Static Analyses and Their Logics
- Computational Secrecy by Typing for the Pi Calculus
- Event Driven Software Quality
- On Jones-Optimal Specializers: A Case Study Using Unmix
- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
- Principal Type Inference for GHC-Style Multi-parameter Type Classes
- Private Row Types: Abstracting the Unnamed
- Proof Abstraction for Imperative Languages
- Reading, Writing and Relations
- Relational Reasoning for Recursive Types and References
- Scheme with Classes, Mixins, and Traits
- Type Processing by Constraint Reasoning
- Type and Effect System for Multi-staged Exceptions
- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
- Widening Polyhedra with Landmarks
- XML Validation for Context-Free Grammars