POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Journal of the ACM (JACM)
Semantics and Types in Functional Logic Programming
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Typed Higher-Order Narrowing without Higher-Order Strategies
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
A Demand Driven Computation Strategy for Lazy Narrowing
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Compiling Multi-Paradigm Declarative Programs into Prolog
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Optimal Non-deterministic Functional Logic Computations
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
Using an abstract representation to specialize functional logic programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Towards the uniform implementation of declarative languages
Computer Languages
| Hi-index | 0.00 |
CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functional logic programming that deals with non-deterministic functions. The JUMP-machine is an abstract machine model for the efficient implementation of functional logic languages. In this paper, we propose the integration of these two abstract models into an experimental system, for which extensibility and modifiability are major concerns. This leads us to the selection of an object-oriented approach and the use of design patterns for the system design and implementation.