Tracing Prolog programs by source instrumentation is efficient enough-Reference-Cited by-同舟云学术

Tracing Prolog programs by source instrumentation is efficient enough

Published:2000-05 Issue:2 Volume:43 Page:157-172
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Ducassé Mireille,Noyé Jacques

Publisher

Elsevier BV

Subject

Logic

Reference14 articles.

1. L. Byrd, Understanding the control flow of Prolog programs, in: S.-A. Tärnlund (Ed.), Logic Programming Workshop, Debrecen, Hungary, 1980

2. M. Calejo, A framework for declarative Prolog debugging, Ph.D. Thesis, New University of Lisbon, Portugal, March 1992

3. M. Ducassé, Opium: an extendable trace analyser for Prolog, in: A. Bossi, Y. Deville (Eds.), The Journal of Logic programming, Special issue on Synthesis, Transformation and Analysis of Logic Programs, 1999

4. Logic programming environments: dynamic program analysis and debugging;Ducassé;The Journal of Logic Programming,1994

5. M. Eisenstadt, A powerful Prolog trace package, in: Proceedings of the Sixth European Conference on Artificial Intelligence, September 1984, North-Holland, Amsterdam, 1985

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. RDBG;Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems;2016-05-23

2. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs;Practical Aspects of Declarative Languages;2011

3. A View of Monitoring and Tracing Techniques and Their Application to Service-Based Environments;Multimedia Services in Intelligent Environments;2010

4. Generic program monitoring by trace analysis;Theory and Practice of Logic Programming;2002-07

5. Specifying Prolog Trace Models with a Continuation Semantics;Logic Based Program Synthesis and Transformation;2001