Hendrik C. R. Lock

13 papers Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
1998 J jnl
GOFFIN: Higher-Order Functions Meet Concurrent Constraints.
Sci. Comput. Program.
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
1998 — conf
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.
PLILP/ALP
Farid Ajili, Hendrik C. R. Lock
1997 J jnl
Towards the Uniform Implementation of Declarative Languages.
Comput. Lang.
Manuel M. T. Chakravarty, Hendrik C. R. Lock
1995 — conf
Co-ordinating Parallel Computation through Equational Constraints.
WLP
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
1995 — ch.
Using Constraint Logic Programming for Industrial Scheduling Problems.
Logic Programming: Formal Methods and Practical Applications
Silvia Breitinger, Hendrik C. R. Lock
1994 — conf
Improving Search for Job-Shop Scheduling with CLP(FD).
PLILP
Silvia Breitinger, Hendrik C. R. Lock
1994 — conf
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.
ICLP Workshop: Integration of Declarative Paradigms
Manuel M. T. Chakravarty, Hendrik C. R. Lock
1993 — conf
Residuation with Type Constraints is Complete.
WLP
Hendrik C. R. Lock
1993 — —
The implementation of functional logic programming languages.
Hendrik C. R. Lock
1991 — conf
A Systematic Method for Designing Abstract Narrowing Machines.
Declarative Programming
Hendrik C. R. Lock
1991 — conf
Exploiting Non-Determinism through Laziness in Guarded Functional Languages.
TAPSOFT, Vol.2
Roland Dietrich, Hendrik C. R. Lock
1991 J jnl
Issues in the implementation of Prolog, and their optimization.
Microprocessing and Microprogramming
Hendrik C. R. Lock, Anamaria Martins
1991 — conf
The Implementation of Lazy Narrowing.
PLILP
Manuel M. T. Chakravarty, Hendrik C. R. Lock