scientific article; zbMATH DE number 18622

zbMATH Open0796.68140MaRDI QIDQ3976026FDOQ3976026

Authors: Egon Börger 

Publication date: 26 June 1992

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

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

zbMATH Keywords

Prologoperational semanticsstepwise refinementdynamic algebras

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A linear operational semantics for termination and complexity analysis of ISO prolog
• Specification and correctness proof of a WAM extension with abstract type constraints
• 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?)
• Title not available (Why is that?)
• 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)