Adaptation-Based Programming in Haskell

After Compilers and Operating Systems : The Third Advance in Application Support

Algebraic Pattern Matching in Join Calculus

Algebraic programming of Hamiltonian formalism in general relativity - Application to inhomogeneous space-times

Algorithmic Verification of Single-Pass List Processing Programs

An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs

An approach to find dynamic slice for C++ Program

An Approach to Programming Based on Concepts

An Approach to the Implementation of Overlapping Rules in Standard ML

An astronomical image processing system written in FORTH

An Effective Fixpoint Semantics for Linear Logic Programs

An Efficient and Flexible Engine for Computing Fixed Points

An Efficient OpenMP Runtime System for Hierarchical Arch

An Environment for the Exploration of Non Monotonic Logic Programs

An ER-based Framework for Declarative Web Programming

An extensible web interface for databases and its application to storing biochemical data

An Implementation of Bubbling

An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification

An Improved Non-Termination Criterion for Binary Constraint Logic Programs

An Instruction Sequence Semigroup with Involutive Anti-Automorphisms