scientific article; zbMATH DE number 18622

MaRDI QIDQ3976026zbMATH OpenFDO

Authors Egon Börger

Publication date 26 June 1992

zbMATH Keywords

dynamic algebrasoperational semanticsPrologstepwise refinement

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

(17)

• Specification and correctness proof of a WAM extension with abstract type constraints
• A mathematical definition of full Prolog
• Operational semantics for declarative multi-paradigm languages
• Oracle semantics for Prolog
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• The subject-oriented approach to software design and the abstract state machines method
• Dynamic predicates in functional logic programs
• scientific article; zbMATH DE number 19144 (Why is no real title available?)
• scientific article; zbMATH DE number 65740 (Why is no real title available?)
• scientific article; zbMATH DE number 490755 (Why is no real title available?)
• scientific article; zbMATH DE number 490759 (Why is no real title available?)
• scientific article; zbMATH DE number 517001 (Why is no real title available?)
• scientific article; zbMATH DE number 1761431 (Why is no real title available?)
• A linear operational semantics for termination and complexity analysis of ISO prolog
• Completeness of ASM refinement
• Completeness of fair ASM refinement
• ASM refinement and generalizations of forward simulation in data refinement: a comparison

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)