Specifying Prolog Trace Models with a Continuation Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erwan Jahier, Mireille Ducassé, Olivier Ridoux. Specifying Prolog Trace Models with a Continuation Semantics. In Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Volume 2042 of Lecture Notes in Computer Science, pages 165-182, Springer, 2000. [doi]

This author has not been identified. Look up 'Erwan Jahier' in GoogleThis author has not been identified. Look up 'Mireille Ducassé' in GoogleThis author has not been identified. Look up 'Olivier Ridoux' in Google

runs on WebDSL