참고문헌
- John Hughes.Why Functional Programming Matters. Computer Journal, 32(2), 1989 https://doi.org/10.1093/comjnl/32.2.98
- Jonathan E.Hazan and Richard G.Morgan. The Location of Errors in Functional Program. In Peter Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, Linkoping, Sweden, Alay 1993 https://doi.org/10.1007/BFb0019396
- Henrik Nilsson. A Declarative Approach to Debugging for Lazy Functional Languages. Linkoping Studies in Science and Technology Thesis No 450, 1994
- Jan Sparud and Colin Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Proc. 9th International Symposium on Program-ming Languages, Implementations, Logics and Programs, 1997
- Cordelia V.Hall and John T.O'Donnell. Debugging in Applicative Languages. In Lisp and Symbolic Computation, 1988 https://doi.org/10.1007/BF01806168
- I.Toyn and C.Runciman. Adapting combinator and SECD machines to display snapshots of functional computations. New Generation Computing. 4(4):339-363, 1986
- Jan Sparud. Transformational Approach to Debugging Lazy Functional Programs. Licentiate Thesis, Department of Computer Science, Chalmers University of Technology, S-412 96, Goteborg, Sweden, February 1996
- E.Y. Shapiro. Algorithmic Program Debugging, MIT Press, May 1982
- Jan Sparud and Colin Runciman. Partial Redex Trails of Large Functional Computations. Implementation of Functional Languages, 8th International Workshop, 1997
- Henrik Nilsson and Peter Fritzson. Algorithmic Debugging for lazy functional languages. Journal of Functional Programming, 4(3),1994
- Hickard Westman and Peter Fritzson. Graphical User Interfaces for Algorithmic Debugging. In Peter Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, Linkoping, Sweden, May 1993 https://doi.org/10.1007/BFb0019414
- Henrik Nilsson and Peter Fritzson. Lazy Algorithmic Debugging: Ideas for Practical Implementation. Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 117-134, Linkoping, Sweden, May 1993 https://doi.org/10.1007/BFb0019405
- Henrik Nilsson, Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Journal of Automated Software Engineering, 4(2):152-205, April 1997 https://doi.org/10.1023/A:1008681016679
- 최광훈, 한태숙, 지연계산 기반 추상기계 유도 : 지연계산 기반 언어의 의미에 Wand-Clinger 방법의 적용. '98 추계 학술발표논문집, 제10회 정보과학회 충청지부 학술발표회, 1998년 11월
- 지연계산 기반 언어의 가상기계 http://pllab.kaist.ac.krFkhchoi/haskell/absmachine/
- Anthony J.Field, Peter G.Harrison. Functional Programming, Addison- Wesley 1988
- The Glasgow Haskell compiler. http://www.dcs.gla.ac.uk/fp/software/ghe/
- Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. Tehcnical Report 95/27, Department of Computer Science, Univercity of Melbourne, Australia, 1995
- Jan Sparud. Towards a Haskell debugger. In Functional Programming Languages and Computer Architecture, 1995
- Andrew Tolmach and Andrew W.Appel. A Debugger for Standard ML. Journal of Functional Language, 1(1):1-000, January 1993