Specifying Prolog Trace Models with a Continuation Semantics.
Erwan Jahier, Mireille Ducass, Olivier Ridoux
VenueCLOPSTR
Year2000
ProceedingsLOPSTR (LNCS 2042: Selected Papers)
DBLP recordconf/lopstr/JahierDR00a ↗
Browse the full LOPSTR paper archive.