Prolog Debugging (1988)
- Maurice Bach.
The Design of the UNIX Operating System.
Prentice Hall, 1985.
- Maurice J. Bach.
The Design of the UNIX Operating System, page 376.
Prentice Hall, 1985.
- Bert Beander.
VAX DEBUG: An interactive, symbolic, multilingual debugger.
In M.S. Johnson, editor, Proceedings of the Software Engineering
Symposium on High-Level Debugging, pages 173–179. ACM
SIGSOFT/SIGPLAN, March 1983.
- L. Byrd.
Understanding the control flow of Prolog programs.
In Logic Programming Workshop, 1980.
- A.D. Dewar and J.G.
Cleary.
Graphical display of complex information within a Prolog debugger.
International Journal of Man-Machine Studies, 25(5):503–521,
November 1986.
- M. Ducassé and A-M. Emde.
Automated debugging of real Prolog programs using symptom-driven abstraction.
The non-termination analysis.
Technical Report IR-LP-41, ECRC, July 1989.
- M. Ducasse and
A-M. Emde.
Opium: a debugging environment for Prolog.
Internal Report IR-LP-31-22, ECRC, August 1989.
- M. Ducasse and
A-M. Emde.
Opium: a debugging environment for Prolog.
In Workshop on Logic Programming Environments, NACLP, October
1989.
- M. Ducassé.
Opium, an extensible tracer for Prolog, prototype description, further
specifications.
Technical Report LP-14, ECRC, January 1987.
- M. Ducassé.
Description of the new Opium's kernel.
Internal Report IR-LP-31-16, ECRC, February 1988.
- M. Ducassé.
Opium+, a meta-debugger for Prolog.
In Proceedings of the European Conference on Artificial
Intelligence, pages 272–277. ECCAI, August 1988.
- Computer Systems Research Group.
UNIX Programmer's Reference Manual.
Computer Science Division, Department of Electrical Engineering and Computer
Science, University of California, Berkeley, California 94720, April 1986.
4.3 Berkeley Distribution.
- S.J. Hanson and
R.R. Robinski.
Programmer perceptions of productivity and programming tools.
Communications of the ACM, 28(2):180–189, February 1985.
- Andrew Hume.
Grep wars: The strategic search initiative.
In Proceedings of the EUUG Spring 88 Conference, pages 237–245.
European UNIX User Group, 1988.
- Ferguson R. J.
A prolog interpreter for the Unix operating system.
Master's thesis, Department of Computer Science, University of Waterloo,
1982.
- T. S. Killian.
Processes as files.
In Proceedings of the USENIX Summer 84 Conference, pages
203–207. USENIX Association, 1984.
- Samuel J. Leffler,
Robert S. Fabry, William N. Joy, Phil Lapsley, Steve Miller, and Chris Torek.
An advanced 4.3BSD interprocess communication tutorial.
In UNIX Programmer's Supplementary Documents, Volume 1. Computer
Systems Research Group, Department of Electrical Engineering and Computer
Science, University of California, Berkeley, California 94720, April 1986.
4.3 Berkeley Software Distribution.
- Samuel J. Leffler,
Marshall Kirk McKusick, Michael J. Karels, and John S. Quarterman.
The Design and Implementation of the 4.3BSD Unix Operating System.
Addison-Wesley, 1988.
- Samuel J.
Leffler, Marshall Kirk McKusick, Michael J. Karels, and John S. Quarterman.
The Design and Implementation of the 4.3BSD Unix Operating System,
page 104.
Addison-Wesley, 1988.
- A-M. Emde
M. Ducassé.
An introduction to the Ode project.
Internal Report IR-LP-31-18, ECRC, March 1988.
- J. F. Maranzano and
S. R. Bourne.
A tutorial introduction to adb.
In UNIX Programmer's Supplementary Documents, Volume 1. Computer
Systems Research Group, Department of Electrical Engineering and Computer
Science, University of California, Berkeley, California 94720, April 1986.
4.3 Berkeley Software Distribution.
- Micha Meier, Geoffray
Macartney, Periklis Andreas Tsahageas, and Dominique Henry de Villeneuve.
SEPIA version 2.0, user manual.
Technical Report TR-LP-38, ECRC, September 1988.
- Lee Naish.
An introduction to mu-prolog.
Technical Report Technical Report 82/2, Department of Computer Science,
University of Melbourne, July 1983.
- Lee Naish.
Mu-prolog 3.1db Reference Manual.
Melbourne University, 1984.
- Elliot I. Organick.
The Multics System: An Examination of Its Structure.
The MIT Press, 1972.
- Elliot I.
Organick.
The Multics System: An Examination of Its Structure, chapter
7.2.4, page 284.
The MIT Press, 1972.
- Theo Pavlidis
and Christopher J. Van Wyk.
An automatic beautifier for drawings and illustrations.
In Brian A. Barsky, editor, Computer Graphics, pages 225–243. ACM
SIGGRAPH, ACM, July 1985.
- R. Seidner and
N. Tindall.
Interactive debug requirements.
In M.S. Johnson, editor, Proceedings of the Software Engineering
Symposium on High-Level Debugging, pages 9–22. ACM SIGSOFT/SIGPLAN,
March 1983.
- Diomidis Spinellis.
The design and implementation of a two process prolog debugger.
Technical Report IR-LP-31-21, ECRC, August 1989.
- Bjarne Stroustrup.
A c++ tutorial.
In EUUG Proceedings Autumn 1985 Conference, pages 139–158.
European UNIX User Group, 1985.
- Sun Microsystems Inc.,
Mountain View, California.
SunOS Reference Manual, 1988.
Release 4.0.
- K. Thompson and
D. M. Ritchie.
UNIX Programmer's Manual.
Bell Laboratories, 1978.
Seventh Edition.
- Bill Tuthill and
Kevin J. Dunlap.
Debugging with dbx.
In UNIX Programmer's Supplementary Documents, Volume 1. Computer
Systems Research Group, Department of Electrical Engineering and Computer
Science, University of California, Berkeley, California 94720, April 1986.
4.3 Berkeley Software Distribution.
- AT&T Bell Laboratories, Murray Hill,
New Jersey.
UNIX Time-Sharing System, Programmer's Manual, Research Version,
February 1985.
Eighth Edition.
- Richard S. Wiener
and Lewis J. Pinson.
An
Introduction to Object-Oriented Programming and C++.
Addison-Wesley, 1988.
- R. Winder and
J. Nicolson.
Jdb: An adaptable interface for debugging.
Software: Practice & Experience, 18(3):221–238, March 1988.
Last change: Saturday, December 31, 2005 7:51 pm