Hendrik C. R. Lock

According to our database, Hendrik C. R. Lock authored at least 13 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

GOFFIN: Higher-Order Functions Meet Concurrent Constraints.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock

Sci. Comput. Program., 1998

Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.

Farid Ajili, Hendrik C. R. Lock

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

Towards the Uniform Implementation of Declarative Languages.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Comput. Lang., 1997

1995

Co-ordinating Parallel Computation through Equational Constraints.

Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock

Proceedings of the 11. Workshop Logische Programmierung, 1995

Using Constraint Logic Programming for Industrial Scheduling Problems.

Silvia Breitinger, Hendrik C. R. Lock

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Improving Search for Job-Shop Scheduling with CLP(FD).

Silvia Breitinger, Hendrik C. R. Lock

Proceedings of the Programming Language Implementation and Logic Programming, 1994

The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Proceedings of the Integration of Declarative Paradigms, 1994

1993

The implementation of functional logic programming languages.

Hendrik C. R. Lock

PhD thesis, 1993

Residuation with Type Constraints is Complete.

Hendrik C. R. Lock

Proceedings of the 9. Workshop Logische Programmierung, 1993

1991

Issues in the implementation of Prolog, and their optimization.

Hendrik C. R. Lock, Anamaria Martins

Microprocessing and Microprogramming, 1991

Exploiting Non-Determinism through Laziness in Guarded Functional Languages.

Roland Dietrich, Hendrik C. R. Lock

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The Implementation of Lazy Narrowing.

Manuel M. T. Chakravarty, Hendrik C. R. Lock

Proceedings of the Programming Language Implementation and Logic Programming, 1991

A Systematic Method for Designing Abstract Narrowing Machines.

Hendrik C. R. Lock

Proceedings of the Declarative Programming, 1991