Protrace: effective recursion tracing and debugging library for functional programming style in common lisp

Authors:
Konrad Grzanek;Andrzej Cader
Affiliations:
IT Institute, Academy of Management, SWSPiZ, Lodz;IT Institute, Academy of Management, SWSPiZ, Lodz
Venue:
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Year:
2010

Citing 16
Cited 0

Structure and interpretation of computer programs

Structure and interpretation of computer programs
Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method

Journal of Logic Programming
Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)
Common LISP: the language (2nd ed.)

Common LISP: the language (2nd ed.)
ANSI Common Lisp

ANSI Common Lisp
Tracing piece by piece: affordable debugging for lazy functional languages

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Purely functional data structures

Purely functional data structures
Practical Common Lisp

Practical Common Lisp
On LISP: Advanced Techniques for Common LISP

On LISP: Advanced Techniques for Common LISP
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Coders at Work

Coders at Work
Programming Clojure

Programming Clojure

Quantified Score

Hi-index	0.00

Visualization

Abstract

Among programming styles the functional one has gained an increasing attention in the recent years. Lisp dialects and Common Lisp in particular have always been languages of choice for artificial intelligence systems implementation. Debugging functional algorithms based in the natural way on recursion and immutability is especially hard. This article presents a library that allows the programmer to mark and trace Common Lisp expressions evaluation.