Opium: An extendable trace analyzer for Prolog

Journal of Logic Programming

Volumn 39, Issue 1, 1999, Pages 177-223

  Ducassé, Mireille ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; PROGRAM DEBUGGING; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES;

SOFTWARE PACKAGE OPIUM; TRACE ANALYZERS; TRACE QUERY LANGUAGE;

LOGIC PROGRAMMING;

EID: 0032676385     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)10036-5     Document Type: Article

References (42)

1. J-M. Andreoli, R. Pareschi, Communication as fair distribution of knowledge, Proc. of OOPSLA'91, Phoenix, USA, 1991.
2. P. Bayer, A. Lefebvre, L. Vieille, Architecture and design of the EKS deductive database system, VLDB Journal 1993.
3. D. Bergantz and J. Hassell. Information relationships in Prolog programs: how do programmers comprehend functionality? International Journal of Man-Machine Studies 35 (1991) 313-328.
4. J.D. Bovey, M.T. Russel, O. Folkestadt, Direct manipulation tools for Unix workstations. Proceedings of the EUUG Autumn'88, 1988, pp. 311-319.
5. M. Brayshaw, M. Eisenstadt, Adding data and procedure abstraction to the Transparent Prolog Machine TPM, in: R.A. Kowalski, K.A. Bowen (Eds.), Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP'88, Seattle, USA, MIT Press, Cambridge, MA, 1988, pp. 532-547.
6. P. Brisset, T. Früwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, M. Wallace, Eclipse 3.4 Extensions user manual, Technical report, ECRC, January 1994.
7. B. Bruegge, P. Hibbard, Generalized path expressions: A high-level debugging mechanism, The Journal of Systems and Software 3 (1983) 265-276.
8. L. Byrd, Understanding the control flow of Prolog programs, in: S.-A. Tärnlund (Ed.), Logic Programming Workshop, Debrecen, Hungary, 1980.
9. M. Carro, L. Gömez, M. Hermenegildo, Some paradigms for visualizing parallel execution oflogic programs, in: D.S. Warren (Ed.), Proceedings of the International Conference on Logic Programming, Budapest, Hungary, MIT Press, Cambridge, MA, 1993, pp. 184-201.
10. J. Cohen, N. Carpenter, A language for inquiring about the run-time behaviour of programs, Software-Practice and Experience 7 (1977) 445-460.
11. P. Dencker, Debugger chapter of the Alsys Ada System User's Manual, Alsys Gmbh, May 1991.
12. M. Ducassé, Analysis of failing Prolog executions, Actes des Journées Francophones sur la Programmation Logique, Lille, Mai 1992.
13. M. Ducassé. A pragmatic survey of automated debugging. in: P. Fritzson (Ed.), Proceedings of the First Workshop on Automated and Algorithmic Debugging, AADEBUG'93, Linköping, Sweden, Lecture Notes in Computer Sciences, Springer vol. 749, Berlin, 1993.
14. M. Ducassé, Abstract views of Prolog executions with Opium. in: P. Brna, B. du Boulay, H. Pain (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, Cognitive Science and Technology, Ablex, 1999.
15. M. Ducassé, A.-M. Emde, A high-level debugging environment for Prolog, Opium user's manual, Technical Report TR-LP-60, ECRC, May 1991.
16. M. Ducassé, J. Noyé, Logic programming environments: Dynamic program analysis and debugging, The Journal of Logic Programming, 19/20 (1994) 351-384.
17. M. Ducassé, J. Noyé, Tracing Prolog programs by source instrumentation is efficient enough, in: K. Sagonas (Ed.), IJCSLP'98 Post-conference workshop on Implementation Technologies for Programming Languages based on Logic, http://www.cs.kuleuven.ac.be/ kostis/proceedings.ps.gz, June 1998.
18. A.-M. Emde, M. Ducassé, Automated debugging of non-terminating Prolog programs, in: S. Bourgault, M. Dincbas (Eds.), Actes du Séminaire de programmation en Logique, CNET, Lannion, May 1990, pp. 89-103.
19. P. Fritzson, M. Auguston, N. Shahmehri, Using assertions in declarative and operational models for automated debugging, Journal of Systems Software 25 (1994) 223-239.
20. T. Früwirth, Constraint simplification rules. Technical Report ECRC-92-18, ECRC, 1992.
21. D.J. Gilmore, Models of debugging, Acta Psychologica 78 (1991) 151-172.
22. M. Golan, D.R. Hanson, DUEL - A very high-level debugging language, Proceedings of the Winter USENIX Technical Conference, San Diego, January 1993, Also Research Report CS-TR-399-92, Princeton University, Princeton.
23. R.E. Griswold, M.T. Griswold, The Icon Programming Language, 2nd edition, Prentice-Hall, Englewood Cliffs, NJ, 1990.
24. D.R. Hanson, J.L. Korn, A simple and extensible graphical debugger, Proceedings of the Winter USENIX Technical Conference, 1997, pp. 173-184.
25. M.S. Johnson, Dispel: A run-time debugging language, Computer languages 6 (1981) 79-94.
26. B. Lazzerini, L. Lopriore, Abstraction mechanisms for event control in program debugging, IEEE Transactions on Software Engineering 15 (7) (1989) 890-901.
27. C.H. LeDoux, A knowledge-based system for debugging concurrent software, Ph.D. thesis, University of California, Los Angeles, 1985.
28. R. Lencevicius, U. Hölzle, A. Singh, Query-based debugging of object-oriented programs, in: Proc. of OOPSLA'97, ACM, October 1997.
29. A. Malony, D. Hammerslag, D. Jablonowski, Traceview: A trace visualization tool, IEEE Software 1991, pp. 19-28.
30. M. Meier, A. Aggoun, D. Chan, P. Dufresne, R. Enders, D. Henry de Villeneuve, A. Herold, P. Kay, B. Perez, E. van Rossum, J. Schimpf, SEPIA - an extendible Prolog system, Proceedings of the IFIP '89, 1989.
31. M. Meier, J. Schimpf, Sepia system evaluation, Internal Report IR-LP-13-35, ECRC, August 1991.
32. L. Naish. A declarative debugging scheme, The Journal of Functional and Logic Programming (3) (1997), http://www.cs.tu-berlin.de/journal/jflp/articles/1997/A97-03/A97-03.htm.
33. J. Noyé, An overview of the knowledge crunching machine, in: M. Abdelguerfi, S. Lavington (Ed.), Emerging Trends in Database and Knowledge-base Machines, IEEE Computer Soc. Press, Silver Spring, MD, 1994.
34. R.A. Olsson, R.H. Crawford, W.W. Ho, A dataflow approach to event-based debugging, Software -Practice and Experience J. Wiley and Sons 21 (2) (1991) 209-229.
35. M.L. Powell, M.A. Linton, A database model of debugging, in: M.S. Johnson (Ed.), ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, ACM, 1983, pp. 67-70.
36. S. Schoenig, M. Ducassé, A backward slicing algorithm for Prolog in: R. Cousot, D.A. Schmidt (Eds.), Static Analysis Symposium, Aachen, LNCS 1145, Springer, Berlin, 1996, pp. 317-331.
37. B. Shneiderman, Software psychology, human factors in computer and information systems, Computer Systems Series, Little Brown and Company, Boston, Toronto, 1980.
38. Z. Somogyi, F. Henderson, T. Conway, The execution algorithm of Mercury an efficient purely declarative logic programming language, Journal of logic programming 29 (1996) 17-64.
39. J.C. Sperandio, L'Ergonomie du Travail Mental, Collection de Psychologie Appliquée, Massen, Paris, 1984.
40. L. Sterling, E. Shapiro, The Art of Prolog, 2nd edition, MIT Press, Cambridge, MA, 1994, ISBN 0-262-19338-8.
41. M. Weiser, Program slicing, IEEE Transactions on Software Engineering 10 (4) (1984) 352-357.
42. P. Winterbottom, Acid: a debugger built from a language, Proceedings of the Winter USENIX Technical Conference, 1994, pp. 211-222.