Author:
Albert Elvira,Hanus Michael,Huch Frank,Oliver Javier,Vidal Germán
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. E. Albert, S. Antoy, and G. Vidal. Measuring the Effectiveness of Partial Evaluation in Founctiona Logic Languages. In Proc. of the 10th Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'00), pages 103–124. Springer LNCS 2024, 2001.
2. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Lazy Functional Logic Programs. In Proc. of Workshop on Reduction Strategies in Rewriting and Programming (WRS'02), pages 97–112, 2002.
3. E. Albert and G. Vidal. Symbolic Profiling of Multi-Paradigm Declarative Languages. In Proc. of Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01), pages 148–167. Springer LNCS 2372, 2002.
4. S. Antoy. Constructor-based Conditional Narrowing. In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pages 199–205. ACM Press, 2001.
5. S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. of the Int'l Workshop on Frontiers of Combining Systems (FroCoS'2000), pages 171–185. Springer LNCS 1794, 2000.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Semantics of a Relational $$\lambda $$-Calculus;Theoretical Aspects of Computing – ICTAC 2020;2020