1989
Retractions in comparing PROLOG semantics
Publication
Publication
We present an operational model O and a continuation based denotational model D for a uniform variant of PROLOG, including the cut operator. The two semantical definitions make use of higher order transformations Phi and Psi, respectively. We prove O and D equivalent in a novel way by comparing yet another pair of higher order transformations Phi~ and Psi~, that yield Phi and Psi, respectively, by application of a suitable abstraction operator.
Additional Metadata | |
---|---|
, , , , , | |
hdl.handle.net/1765/1505 | |
Organisation | Erasmus School of Economics |
de Bruin, A., & de Vink, E. P. (1989). Retractions in comparing PROLOG semantics. Retrieved from http://hdl.handle.net/1765/1505 |