Author:
de Dios Castro Javier,López-Fraguas Francisco J.
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Operational Semantics for Declarative Multi-Paradigm Languages;Albert;Journal of Symbolic Computation,2005
2. Specialization of Functional Logic Programs Based on Needed Narrowing;Alpuente;Theory and Practice of Logic Programming,2005
3. Elimination of Local Variables from Definite Logic Programs;Álvez;Electronic Notes in Theoretical Computer Science,2005
4. A Needed Narrowing Strategy;Antoy;Journal of the ACM,2000
5. Overlapping Rules and Logic Variables in Functional Logic Programs;Antoy,2006
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combining Static and Dynamic Contract Checking for Curry;Fundamenta Informaticae;2020-03-31
2. Adding Data to Curry;Declarative Programming and Knowledge Management;2020
3. Synthesizing Set Functions;Functional and Constraint Logic Programming;2019
4. Verifying Fail-Free Declarative Programs;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
5. Combining Static and Dynamic Contract Checking for Curry;Logic-Based Program Synthesis and Transformation;2018