scientific article; zbMATH DE number 65740

zbMATH Open0753.68060MaRDI QIDQ4010351FDOQ4010351

Authors: Egon Börger 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 18622
• Operational and denotational semantics of prolog
• scientific article; zbMATH DE number 19144
• Denotational and operational semantics for prolog
• An operational formal definition of PROLOG: A specification method and its application
• Simple operational and denotational semantics for Prolog with cut
• Towards a logical semantics for pure Prolog
• Operational and goal-independent denotational semantics for Prolog with cut
• Compositional operational semantics for Prolog programs
• A linear operational semantics for termination and complexity analysis of ISO prolog

zbMATH Keywords

dynamic algebras

Mathematics Subject Classification ID

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

Cited In (9)

• A declarative approach for first-order built-in's of Prolog
• Title not available (Why is that?)
• Dynamic predicates in functional logic programs
• Improving the ISO Prolog Standard by Analyzing Compliance Test Results
• Title not available (Why is that?)
• A linear operational semantics for termination and complexity analysis of ISO prolog
• The subject-oriented approach to software design and the abstract state machines method
• Title not available (Why is that?)
• Title not available (Why is that?)

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 Q4010351)