Author:
Antoy Sergio,Brown Daniel W.,Chiang Su-Hui
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Specialization of functional logic programs based on needed narrowing;Alpuente;Theory and Practice of Logic Programming,2005
2. Definitional trees;Antoy,1992
3. Optimal non-deterministic functional logic computations;Antoy,1997
4. Evaluation strategies for functional logic programming;Antoy;Journal of Symbolic Computation,2005
5. On the correctness of bubbling;Antoy,2006
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming;Proceedings of the ACM on Programming Languages;2023-08-30
2. RICE: An Optimizing Curry Compiler;Practical Aspects of Declarative Languages;2023
3. Needed Computations Shortcutting Needed Steps;Electronic Proceedings in Theoretical Computer Science;2015-05-26
4. Compiling a Functional Logic Language: The Fair Scheme;Logic-Based Program Synthesis and Transformation;2014
5. Rewriting and narrowing for constructor systems with call-time choice semantics;Theory and Practice of Logic Programming;2012-10-30