Jahier, E., Ducasse, M. and Ridoux, O. Specifying Prolog Trace Models with a Continuation Semantics. Lecture Notes in Computer Science: LOPSTR Selected Papers, vol. 2042, Springer-Verlag, 2000. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Statically Allocated Prolog - Hardware Byrd Boxes - Mycroft (Correct)
....control ow Prolog (Section 3) and then the e ect of adding data (Section 4) Section 5 considers a process calculus view of our Byrd Box model and Section 6 concludes. Related work includes that of Mycroft and Sharp [6, 7] on statically allocated functional languages, Jahier, Ducasse and Ridoux [5] on the semantics of Byrd Boxes and Charatonik, Gordon and Talbot [3] on the more general case of ambients with nite control. 2 Notation We use the usual notation for Prolog with abstract syntax as follows. Let Var be a set of variables (ranged over by x) Func be a set of function symbols ....
Jahier, E., Ducasse, M. and Ridoux, O. Specifying Prolog Trace Models with a Continuation Semantics. Lecture Notes in Computer Science: LOPSTR Selected Papers, vol. 2042, Springer-Verlag, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC