References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Youyou Cong & Kenichi Asai (2016): Implementing a stepper using delimited continuations. Software Science 39, pp. 42–54, doi:10.29007/l2wb.
  9. Aaron Contorer (2015): What do Haskellers want? Over a thousand users tell us.. Available at https://www.fpcomplete.com/blog/2015/05/thousand-user-haskell-survey.
  10. Roger F Crew (1997): ASTLOG: A Language for Examining Abstract Syntax Trees.. In: DSL 97, pp. 18–18. Available at https://www.usenix.org/legacy/publications/library/proceedings/dsl97/full_papers/crew/crew.pdf.
  11. 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.
  12. Marc Eisenstadt (1997): My hairiest bug war stories. Communications of the ACM 40(4), pp. 30–37, doi:10.1145/248448.248456.
  13. 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.
  14. 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.
  15. 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.
  16. Visual Studio Docs: Debugging F#. Available at http://docs.microsoft.com/en-us/visualstudio/debugger/debugging-f-hash.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. Mark Halpern (1965): Computer programming: the debugging epoch opens. Computers and Automation 14(11), pp. 28–31.
  23. 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.
  24. Dick Hamlet (1983): Debugging "Level": Step-wise Debugging. SIGPLAN Not. 18(8), pp. 4–8, doi:10.1145/1006142.1006150.
  25. Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon (2018): The OCaml Language. Available at http://ocaml.org/.
  26. 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.
  27. Erik Meijer & John Gough (2012): Technical overview of the Common Language Runtime, 2000. Available at https://research. microsoft. com/en-us/um/people/emeijer/papers/clr. pdf.
  28. Robin Milner (1983): How ML evolved. Polymorphism: The ML/LCF/Hope Newsletter 1.
  29. The OCamli Interpreter. Available at http://github.com/johnwhitington/ocamli.
  30. 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.
  31. 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.
  32. 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.
  33. Marian Petre & Ed de Quincey (2006): A Gentle Overview of Software Visualization. PPIG Newsletter, pp. 1–10.
  34. 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.
  35. Elaine Regelson & Andrew Anderson (1994): Debugging Practices for Complex Legacy Software Systems.. In: ICSM, pp. 137–143, doi:10.1109/ICSM.1994.336781.
  36. Mark Shinwell: libmonda: Make OCaml native debugging awesome. Available at http://mshinwell.github.io/libmonda/.
  37. 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.
  38. Richard M Stallman (1981): EMACS the extensible, customizable self-documenting display editor. ACM Books, doi:10.1145/800209.806466.
  39. Guy Steele (1984): Common LISP: the language. Digital Press 20, pp. 124.
  40. Don Syme: F Sharp at Microsoft Research. Available at https://www.microsoft.com/en-us/research/project/f-at-microsoft-research/.
  41. Jonathan Paul Taylor (1996): Presenting the Lazy Evaluation of Functions. Queen Mary, University of London.
  42. Andrew Tolmach & Andrew W. Appel (1995): A Debugger for Standard ML. Journal of Functional Programming 5, pp. 155–200, doi:10.1017/S0956796800001313.
  43. David S. Touretzky (1989): Visualizing Evaluation in Applicative Languages. Commun. ACM 35(10), pp. 49–59, doi:10.1145/135239.135241.
  44. 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.
  45. 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.
  46. 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.
  47. Philip Wadler (1998): Why No One Uses Functional Languages. SIGPLAN Not. 33(8), pp. 23–27, doi:10.1145/286385.286387.
  48. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org