scientific article; zbMATH DE number 18622

MaRDI QIDQ3976026zbMATH OpenFDO

Authors Egon Börger

Publication date 26 June 1992

zbMATH Keywords

Prologoperational semanticsstepwise refinementdynamic algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 65740
• scientific article; zbMATH DE number 490759
• scientific article; zbMATH DE number 19144
• Oracle semantics for Prolog
• scientific article; zbMATH DE number 517001

Cited in

(15)

• Dynamic predicates in functional logic programs
• Completeness of fair ASM refinement
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• scientific article; zbMATH DE number 490755 (Why is no real title available?)
• Specification and correctness proof of a WAM extension with abstract type constraints
• 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
• scientific article; zbMATH DE number 490759 (Why is no real title available?)
• scientific article; zbMATH DE number 1761431 (Why is no real title available?)
• scientific article; zbMATH DE number 517001 (Why is no real title available?)
• Completeness of ASM refinement
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Oracle semantics for 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 Q3976026)