APLAS 2004
29 papers
- A CLP Approach to Modelling Systems
- A Concurrent System of Multi-ported Processes with Causal Dependency
- A Functional Language for Logarithmic Space
- A MATLAB-Based Code Generator for Sparse Matrix Computations
- A Relational Model for Object-Oriented Designs
- A Type Theory for Krivine-Style Evaluation and Compilation
- A Uniform Reduction Equivalence for Process Calculi
- An Algebraic Approach to Bi-directional Updating
- An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
- An Implementation of Subtyping Among Regular Expression Types
- Automatic Generation of Editors for Higher-Order Data Structures
- Build, Augment and Destroy, Universally
- Concurrency Combinators for Declarative Synchronization
- Controlled Declassification Based on Intransitive Noninterference
- D-Fusion: A Distinctive Fusion Calculus
- Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
- Exploiting Java Objects Behavior for Memory Management and Optimizations
- Formal Design and Verification of Real-Time Embedded Software
- Free S-Monoids: A Higher-Order Syntax with Metavariables
- History Effects and Verification
- McJava - A Design and Implementation of Java with Mixin-Types
- Network Fusion
- PType System: A Featherweight Parallelizability Detector
- Pointcuts as Functional Queries
- Protocol Specialization
- Region-Based Memory Management for a Dynamically-Typed Language
- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
- The Scala Experiment - Can We Provide Better Language Support for Component Systems?
- Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type