Hendrik C. R. Lock

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Farid Ajili, Hendrik C. R. Lock
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. PLILP/ALP (1998)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. 30 (1-2) (1998)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
Towards the Uniform Implementation of Declarative Languages. Comput. Lang. 23 (2-4) (1997)
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
Co-ordinating Parallel Computation through Equational Constraints. WLP (1995)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. ICLP Workshop: Integration of Declarative Paradigms (1994)
Silvia Breitinger, Hendrik C. R. Lock
Improving Search for Job-Shop Scheduling with CLP(FD). PLILP (1994)
Hendrik C. R. Lock
Residuation with Type Constraints is Complete. WLP (1993)
Roland Dietrich, Hendrik C. R. Lock
Exploiting Non-Determinism through Laziness in Guarded Functional Languages. TAPSOFT, Vol.2 (1991)
Hendrik C. R. Lock, Anamaria Martins
Issues in the implementation of Prolog, and their optimization. Microprocessing and Microprogramming 32 (1-5) (1991)
Manuel M. T. Chakravarty, Hendrik C. R. Lock
The Implementation of Lazy Narrowing. PLILP (1991)
Hendrik C. R. Lock
A Systematic Method for Designing Abstract Narrowing Machines. Declarative Programming (1991)