APLAS 2002
31 papers
- A Type-Based Approach to Parallelization (preliminary report)
- Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses
- An Approach for Assessing Software Coupling
- An Automatic Program Inverter for Lisp: Potential and Limitations
- An Improved Differential Fixpoint Iteration Method for Program Analysis
- An Interoperable Calculus for External Object Access
- An Optimal Staging Algorithm
- An Overview of the Chameleon System
- Association Computation for Information Access
- Bisimulation for Higher-Order Pi-calculus
- COPLA* - a Middleware for Distributed Databases
- Data Flow Analysis of Secure Information-Flow
- Deforesting in Accumulating Parameters via Type-Directed Transformations
- Extending Sized Type with Collection Analysis
- Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem
- Folds with Dependent Types
- Functional Logic Origami Programming
- Fusion Transformation on Functional Programs of Regular Expression Types
- Implementation of Parallel Tree Skeletons on Distributed Systems
- Inserting Safe Memory Re-use Commands into ML-like Programs
- On Quasi-Open Bisimulation
- Programming with Logical Links
- Pruning Unnecessary Computations using Improving Sequences
- Recursion Removal from Recursive Programs with One Descent Function
- Relaxing the Value Restriction
- Shrinkable Polymorphic Variants
- Specification based on Backus-Naur Formalism and Programming Language
- Static Extensionality Checking for Lambda-Definable Functions Over Lattices
- Type-Based Information Analysis for Low-Level Languages
- What Is the Right Logical Framework for Evolution of Knowledge
- Yicho - A System for Programming Program Calculations