Publications
Export 4 results:
Mockingbird: A Logical Methodology for Testing,
, vol. 8, no. 1: North-Holland, pp. 95–119, 1990.
"Gauge: A Workbench for the Performance Analysis of Logic Programs.",
ICLP/SLP, pp. 548–561, 1988.
Integrated Evaluation of Parallel Systems,
: DTIC Document, 1988.
"Timing Prolog Programs without Clocks",
SLP, vol. 87, pp. 426–432, 1987.