An Instruction Sequence Semigroup with Repeaters

An Integrated Development Environment for Declarative Multi-Paradigm Programming

An Intuitive Automated Modelling Interface for Systems Biology

An Investigation of the Laws of Traversals

An Open Ended Tree

An overview of Ciao and its design philosophy

Analysis of Equality Relationships for Imperative Programs

Application Software, Domain-Specific Languages, and Language Design Assistants

Applicative Bisimulations for Delimited-Control Operators

Applying Prolog to Develop Distributed Systems

Applying static code analysis to firewall policies for the purpose of anomaly detection

Applying the Z-transform for the static analysis of floating-point numerical filters

Approximating Constraint Propagation in Datalog

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

Assigning Satisfaction Values to Constraints: An Algorithm to Solve Dynamic Meta-Constraints

Attacker Control and Impact for Confidentiality and Integrity

Automated Semantic Grading of Programs

Automated Verification of Practical Garbage Collectors

Automatic Coding Rule Conformance Checking Using Logic Programs