CMU Artificial Intelligence Repository
STATIC CALLS: Prolog static call cross-referencing
analyzer.
lang/prolog/code/tools/crossref/
This is a quick and dirty static cross-reference analyzer. It tells
you which predicates are (statically) invoking which other predicates.
Origin:
src.doc.ic.ac.uk:packages/prolog-pd-software/ (146.169.2.1)
as staticcalls.tar.Z
Version: 30-JUL-88
Requires: Edinburgh-compatible Prolog.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): John Cugini
National Bureau of Standards
Keywords:
Authors!Cugini, Cross-Referencing, Prolog!Code, Prolog!Tools,
Static Analysis
References: ?
Last Web update on Mon Feb 13 10:34:04 1995
AI.Repository@cs.cmu.edu