Run-time profiling of functional logic programs

Lecture Notes in Computer Science

Volumn 3573, Issue , 2005, Pages 182-197

  Brassel, B ^a   Hanus, M ^a   Huch, F ^a   Silva, J ^b   Vidal, G ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; SEMANTICS; SOFTWARE PROTOTYPING;

COST-AUGMENTED INTERPRETER; FUNCTION UNFOLDINGS; FUNCTIONAL LOGIC LANGUAGES; RUN-TIME PROFILING;

LOGIC PROGRAMMING;

EID: 26444525563     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506676_12     Document Type: Conference Paper

References (14)

1. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation, 2005. To appear.
2. 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.
3. S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. of the Int'l Workshop on Frontiers of Combining Systems (Fro-CoS'2000), pages 171-185. Springer LNCS 1794, 2000.
4. H.P. Barendregt. The Lambda Calculus - Its Syntax and Semantics. Elsevier, 1984.
5. B. Braßel, M. Hanus, F. Huch, J. Silva, and G. Vidal. Run-Time Profiling of Functional Logic Programs. Technical report, DSIC, Technical University of Valencia, 2005. Available at: http://www.dsic.upv.es/users/elp/ german/papers.html.
6. M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at: http://www.informatik.uni-kiel.de/~curry/.
7. M. Gorlick and C. Kesselman. Timing Prolog Programs without Clock. In Proc. of the 4th Symposium on Logic Programming (SLP'87), pages 426-434, 1987.
8. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symp. on Principles of Programming Languages (POPL'97), pages 80-93. ACM, New York, 1997.
9. M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming, 9(1):33-75, 1999.
10. M. Hanus (ed.), S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS 1.6.0: The Portland Aachen Kiel Curry System-User Manual. Technical report, University of Kiel, Germany, 2004.
11. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, 1993.
12. J. Launchbury. A Natural Semantics for Lazy Evaluation. In Proc. of the ACM Symp. on Principles of Programming Languages (POPL'93), pages 144-154. ACM Press, 1993.
13. F. López-Fraguas and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. In Proc. of the 10th Int'l Conf. on Rewriting Techniques and Applications (RTA'99), pages 244-247. Springer LNCS 1631, 1999.
14. P.M. Sansom and S.L. Peyton-Jones. Formally Based Profiling for Higher-Order Functional Languages. ACM Transactions on Programming Languages and Systems, 19(2):334-385, 1997.