scientific article; zbMATH DE number 4215379

MaRDI QIDQ3361898zbMATH OpenFDO

Authors

Publication date 1990

zbMATH Keywords

cpo'sequivalence of operational and denotational semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Comparative semantics for prolog with cut
• Denotational and operational semantics for prolog
• Simple operational and denotational semantics for Prolog with cut
• Operational and goal-independent denotational semantics for Prolog with cut
• Operational and denotational semantics of prolog

Cited in

(1)

• Comparative metric semantics for concurrent PROLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3361898)