Mikhail Auguston & Juris Reinfields (1994):
A Visual Miranda Machine.
In: Software Education Conference, 1994. Proceedings..
IEEE,
pp. 198–203,
doi:10.1109/SEDC.1994.475337.
R.M. Balzer (1969):
EXDAMS – Extendable Debugging And Monitoring System.
In: Proceedings of the May 14-16, 1969, Spring Joint Computer Conference,
Memorandum (Rand Corporation).
ACM.
Rand Corporation,
pp. 567–580,
doi:10.1145/1476793.1476881.
Paul T Brady (1968):
Writing an online debugging program for the experienced user.
Communications of the ACM 11(6),
pp. 423–427,
doi:10.1145/363347.363388.
Rod M Burstall, David B MacQueen & Donald T Sannella (1980):
HOPE: An experimental applicative language.
In: Proceedings of the 1980 ACM conference on LISP and functional programming.
ACM,
pp. 136–143,
doi:10.1145/800087.802799.
Arthur Charguéraud, Alan Schmitt & Thomas Wood (2018):
JSExplain: A Double Debugger for JavaScript.
In: The Web Conference 2018,
pp. 1–9,
doi:10.1145/3184558.3185969.
Olaf Chitil, Colin Runciman & Malcolm Wallace (2002):
Transforming Haskell for tracing.
In: Symposium on Implementation and Application of Functional Languages.
Springer,
pp. 165–181,
doi:10.1007/3-540-44854-3_11.
John Clements, Matthew Flatt & Matthias Felleisen (2001):
Modeling an Algebraic Stepper.
In: Proceedings of the 10th European Symposium on Programming Languages and Systems,
ESOP '01.
Springer-Verlag,
London, UK, UK,
pp. 320–334,
doi:10.1007/3-540-45309-1_21.
Youyou Cong & Kenichi Asai (2016):
Implementing a stepper using delimited continuations.
Software Science 39,
pp. 42–54,
doi:10.29007/l2wb.
Premkumar T Devanbu (1999):
GENOA – a customizable, front-end-retargetable source code analysis framework.
ACM Transactions on Software Engineering and Methodology (TOSEM) 8(2),
pp. 177–212,
doi:10.1145/304399.304402.
Marc Eisenstadt (1997):
My hairiest bug war stories.
Communications of the ACM 40(4),
pp. 30–37,
doi:10.1145/248448.248456.
Thomas G Evans & D Lucille Darley (1966):
On-line debugging techniques: a survey.
In: Proceedings of the November 7-10, 1966, Fall Joint Computer Conference.
ACM,
pp. 37–50,
doi:10.1145/1464291.1464295.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy & Sam Tobin-Hochstadt (2015):
The racket manifesto.
In: LIPIcs-Leibniz International Proceedings in Informatics 32.
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,
doi:10.4230/LIPIcs.SNAPL.2015.113.
Robert Bruce Finder, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler & Matthias Felleisen (2002):
DrScheme: A Programming Environment for Scheme.
Journal of Functional Programming 12(2),
pp. 159–182,
doi:10.1017/S0956796801004208.
Andy Gill (2000):
Debugging Haskell by Observing Intermediate Data Structures.
Electr. Notes Theor. Comput. Sci. 41(1),
pp. 1,
doi:10.1016/S1571-0661(05)80538-9.
Doug Goldson (1993):
A Symbolic Calculator for Non-Strict Functional Programs.
The Computer Journal 37(3),
pp. 177–187,
doi:10.1093/comjnl/37.3.177.
Ralph Grishman (1970):
The debugging system AIDS.
In: Proceedings of the May 5-7, 1970, Spring Joint Computer Conference.
ACM,
pp. 59–64,
doi:10.1145/1476936.1476952.
William G Griswold, Darren C Atkinson & Collin McCurdy (1996):
Fast, flexible syntactic pattern matching and processing.
In: Program Comprehension, 1996, Proceedings., Fourth Workshop on.
IEEE,
pp. 144–153,
doi:10.1109/WPC.1996.501129.
Cordelia V Hall & John T O'Donnell (1985):
Debugging in a side effect free programming environment.
ACM SIGPLAN Notices 20(7),
pp. 60–68,
doi:10.1145/17919.806827.
Mark Halpern (1965):
Computer programming: the debugging epoch opens.
Computers and Automation 14(11),
pp. 28–31.
Mark Halpern (2005):
Assertive Debugging: Correcting Software As If We Meant It – Assertive debugging is a new way to make embedded systems ensure their own health by having your code monitor itself..
Embedded Systems Programming 18(6),
pp. 28–35.
Dick Hamlet (1983):
Debugging "Level": Step-wise Debugging.
SIGPLAN Not. 18(8),
pp. 4–8,
doi:10.1145/1006142.1006150.
Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon (2018):
The OCaml Language.
Available at http://ocaml.org/.
Simon Marlow, José Iborra, Bernard Pope & Andy Gill (2007):
A Lightweight Interactive Debugger for Haskell.
In: Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop,
Haskell '07.
ACM,
New York, NY, USA,
pp. 13–24,
doi:10.1145/1291201.1291204.
Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes & J. Ángel Velázquez-Iturbide (2007):
WinHIPE: An IDE for Functional Programming Based on Rewriting and Visualization.
ACM SIGPLAN Notices 42(3),
pp. 14–23,
doi:10.1145/1273039.1273042.
Chris Parnin & Alessandro Orso (2011):
Are Automated Debugging Techniques Actually Helping Programmers?.
In: Proceedings of the 2011 International Symposium on Software Testing and Analysis,
ISSTA '11.
ACM,
New York, NY, USA,
pp. 199–209,
doi:10.1145/2001420.2001445.
Santanu Paul & Atul Prakash (1994):
A framework for source code search using program patterns.
IEEE Transactions on Software Engineering 20(6),
pp. 463–475,
doi:10.1109/32.295894.
Marian Petre & Ed de Quincey (2006):
A Gentle Overview of Software Visualization.
PPIG Newsletter,
pp. 1–10.
Steve Reeves, Doug Goldson, Pat Fung, Mike Hopkins & Richard Bornat (1994):
The Calculator Project – Formal Reasoning about Programs.
In: Software Education Conference, 1994. Proceedings..
IEEE,
pp. 166–173,
doi:10.1109/SEDC.1994.475332.
Elaine Regelson & Andrew Anderson (1994):
Debugging Practices for Complex Legacy Software Systems..
In: ICSM,
pp. 137–143,
doi:10.1109/ICSM.1994.336781.
Juha Sorva, Ville Karavirta & Lauri Malmi (2013):
A Review of Generic Program Visualization Systems for Introductory Programming Education.
Transactions in Computing Education 13(4),
pp. 15:1–15:64,
doi:10.1145/2490822.
Richard M Stallman (1981):
EMACS the extensible, customizable self-documenting display editor.
ACM Books,
doi:10.1145/800209.806466.
Guy Steele (1984):
Common LISP: the language.
Digital Press 20,
pp. 124.
Jonathan Paul Taylor (1996):
Presenting the Lazy Evaluation of Functions.
Queen Mary, University of London.
Andrew Tolmach & Andrew W. Appel (1995):
A Debugger for Standard ML.
Journal of Functional Programming 5,
pp. 155–200,
doi:10.1017/S0956796800001313.
David S. Touretzky (1989):
Visualizing Evaluation in Applicative Languages.
Commun. ACM 35(10),
pp. 49–59,
doi:10.1145/135239.135241.
David Ungar, Henry Lieberman & Christopher Fry (1997):
Debugging and the Experience of Immediacy.
Communications of the ACM 40(4),
pp. 38–43,
doi:10.1145/248448.248457.
J. Urquiza-Fuentes & J. A. Velázquez-Iturbide (2004):
A Survey of Program Visualizations for the Functional Paradigm.
In: Proc. 3rd Program Visualization Workshop,
pp. 2–9.
Available at https://www.dcs.warwick.ac.uk/pvw04/p01.pdf.
Jaime Urquiza-Fuentes & J. Ángel Velázquez-Iturbide (2009):
A Survey of Successful Evaluations of Program Visualisation and Algorithm Animation Systems.
ACM Transactions on Computing Education (TOCE) 9(2),
pp. 9,
doi:10.1145/1538234.1538236.
Philip Wadler (1998):
Why No One Uses Functional Languages.
SIGPLAN Not. 33(8),
pp. 23–27,
doi:10.1145/286385.286387.
John Whitington & Tom Ridge (2017):
Visualizing the Evaluation of Functional Programs for Debugging.
In: 6th Symposium on Languages, Applications and Technologies,
OASIcs 56.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 7:1–7:9,
doi:10.4230/OASIcs.SLATE.2017.7.