Specifying Prolog Trace Models with a Continuation Semantics (2000)

Cached

Download Links

by Erwan Jahier , Mireille Ducassé , Olivier Ridoux
Venue:Lecture Notes in Computer Science: LOPSTR Selected Papers
Citations:7 - 1 self