An abstract machine based system for a lazy narrowing calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2024, Issue , 2001, Pages 216-232

  Hortalá González, Teresa ^a   Ullán, Eva ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE;

ABSTRACT MACHINES; DESIGN AND IMPLEMENTATIONS; DETERMINISTIC FUNCTIONS; EFFICIENT IMPLEMENTATION; EXPERIMENTAL SYSTEM; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; OBJECT ORIENTED APPROACH;

COMPUTER CIRCUITS;

EID: 84958986444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44716-4_14     Document Type: Conference Paper

References (19)

1. E. Albert, M. Hanus, G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. Procs. 7th Int. Conf. on Logic Programming and Au- tomated Reasoning (LPAR 2000), Springer LNCS 1955, pp. 381-398, 2000.
2. S. Antoy. Optimal Non-Deterministic Functional Logic Computations. Procs. 6th Int. Conf. on Algebraic and Logic Programming (ALP'97), Springer LNCS 1298, pp. 16-30, 1997.
3. S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. Procs. ACM Symp. on Principles of Programming Languages (POPL'94), ACM Press, pp. 268-279, 1994.
4. S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. Journal of the ACM 47 (4), pp. 776-822, 2000.
5. S. Antoy, M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. Procs. 3rd Int. Work. on Frontiers of Combining Systems (FroCoS 2000), Springer LNCS 1794, pp. 171-185, 2000.
6. S. Antoy, A. Tolmach. Typed Higher-order Narrowing without Higher-order Strategies. Procs. 4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS'99), Springer LNCS 1722, pp. 335-350, 1999.
7. M.M.T. Chakravarty, H.C.R. Lock. Towards the Uniform Implementation of Declarative Languages. Computer Languages 23 (2-4), Pergamon Press, pp. 121-160, 1997.
8. E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
9. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, F.J. Lopez-Fraguas, M. Rodriguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic Programming 40 (1), pp. 47-87, 1999.
10. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, M. Rodriguez-Artalejo. A Higher Order Rewriting Logic for Functional Logic Programming. Procs. 14th Int. Conf. on Logic Programming (ICLP'97), MIT Press, pp. 153-167, 1997.
11. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, M. Rodriguez-Artalejo. Semantics and Types in Functional Logic Programming. Procs. 4th Fuji Int. Symp. on Func- tional and Logic Programming (FLOPS'99), Springer LNCS 1722, pp. 1-20, 1999.
12. M. Hanus (ed.). Curry: An Integrated Functional Logic Language, Version 0.7.1. Available at http://www.informatik.uni-kiel.de/_curry, 2000.
13. M. Hanus (ed.). PACKS 1.3: The Portland Aachen Kiel Curry System, User Man- ual. Available at http://www.informatik.uni-kiel.de/_curry, 2000.
14. M. Hanus, R. Sadre. An Abstract Machine for Curry and its Concurrent Imple- mentation in Java. Journal of Functional and Logic Programming, Volume 1999, Special Issue on Parallelism and Implementation Technologies for (Constraint) Logic Programming, Article 6, 1999.
15. R. Loogen, F.J. Lopez-Fraguas, M. Rodriguez-Artalejo. A Demand Driven Com- putation Strategy for Lazy Narrowing. Procs. Int. Symp. on Programming Lan- guage Implementation and Logic Programming (PLILP'93), Springer LNCS 714, pp. 184-200, 1993.
16. F.J. Lopez-Fraguas, J. Sanchez-Hernandez. T OY: A Multiparadigm Declara- tive System. Procs. 10th Int. Conf. on Rewriting Techniques and Applica- tions (RTA'99), Springer LNCS 1631, pp. 244-247, 1999. System available at http://titan.sip.ucm.es/toy.
17. W. Lux, H. Kuchen. An EÆcient Abstract Machine for Curry. Procs. 8th Int. Work. on Functional and Logic Programming (WFLP'99), pp. 171-181, 1999.
18. S.L. Peyton Jones. Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine, Version 2.5. Journal of Functional Programming 2 (2), pp. 127-202, 1992.
19. D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI In- ternational, 1983.