A Few Graph-Based Relational Numerical Abstract Domains
A Formal Comparison of Approaches to Datatype-Generic Programming
A Framework for Datatype Transformation
A Framework for Interoperability
A General Framework for Automatic Termination Analysis of Logic Programs
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
A Generalized Streaming Model for Concurrent Computing
A Generic Analysis Environment for Curry Programs
A Generic Framework for the Analysis and Specialization of Logic Programs
A Generic Scheme for Qualified Constraint Functional Logic Progamming
A Graphical Approach to Progress for Structured Communication in Web Services
A Heuristic Algorithm for optimizing Page Selection Instructions
A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint
A Lambda-Calculus with letrec, case, constructors and non-determinism
A Language for Generic Programming in the Large
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
A Lightweight Combination of Semantics for Non-deterministic Functions
A Logic for Choreographies
A Logical Foundation for Environment Classifiers
A Machine-Independent Debugger--Revisited