A semantics for tracing declarative multi-paradigm programs

Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

Volumn , Issue , 2004, Pages 179-190

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

^a UNIVERSITY OF KIEL   (Germany)

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

Author keywords

Functional Logic Programming; Semantics; Tracing

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA ACQUISITION; FORMAL LOGIC; GRAPH THEORY; LOGIC PROGRAMMING; PROGRAM DEBUGGING;

AUGMENTED REDEX TRAIL (ART); FUNCTIONAL LOGIC PROGRAMMING; OPERATIONAL PROPERTIES; TRACING;

SEMANTICS;

EID: 11244277056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013963.1013984     Document Type: Conference Paper

References (19)

1. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. To appear in Journal of Symbolic Computation, 2004.
2. S. Antoy. Constructor-based Conditional Narrowing. In Proc. of the 3rd Int'l Conference on Principles and Practice of Declarative Programming (PPDP 2001), pages 199-206. ACM Press, 2001.
3. B. Braßel, O. Chitil, M. Hanus, and F. Huch. Observing Functional Logic Computations. In Proc. of the Sixth Int'l Symposium on Practical Aspects of Declarative Languages (PADL'04), pages 193-208. Springer LNCS 3057, 2004.
4. L. Byrd. Understanding the control flow of prolog programs. In Proc. of the Workshop on Logic Programming, Debrecen, 1980.
5. O. Chitil. A Semantics for Tracing. In 13th Int'l Workshop on Implementation of Functional Languages (IFL 2001), pages 249-254. Ericsson CSL, 2001.
6. R. Echahed and J. Janodet. Admissible Graph Rewriting and Narrowing. In Proc. of the 1998 Joint Int'l Conf. and Symp. on Logic Programming, pages 325-340. MIT Press, 1998.
7. A. Gill. Debugging Haskell by Observing Intermediate Data Structures. In Proc. of the 4th Haskell Workshop. University of Nottingham, 2000.
8. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodríguez-Artalejo. An Approach to Declarative Programming based on a Rewriting Logic. Journal of Logic Programming, 40:47-87, 1999.
9. 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, 1997.
10. M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming, 9(l):33-75, 1999.
11. M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at: http://www.Informatik.uni-kiel.de/∼curry/.
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 Int'l Conf. on Rewriting Techniques and Applications (RTA'99), pages 244-247. Springer LNCS 1631, 1999.
14. H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337-370, 1994.
15. H. Nilsson and J. Sparud. The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Automated Software Engineering, 4(2): 121-150, 1997.
16. S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.
17. E.Y. Shapiro. Algorithmic Programming Debugging. MIT Press, 1983.
18. J. Sparud and C. Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Proc. of the 9th Int'l Symp. on Programming Languages, Implementations, Logics and Programs (PLILP'97), pages 291-308. Springer LNCS 1292, 1997.
19. M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-View Tracing for Haskell: a New Hat. In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23, 2001.