scientific article; zbMATH DE number 1303988

zbMATH Open0924.68131MaRDI QIDQ4250656FDOQ4250656

Authors: Robert Colvin, Ian Hayes, Paul Strooper 

Publication date: 2 November 1999

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

Recommendations

• scientific article; zbMATH DE number 3949749
• Datalog and logic databases
• scientific article; zbMATH DE number 1442044
• A data-driven model for a subset of logic programming
• scientific article; zbMATH DE number 1926649
• Efficient dataflow analysis of logic programs
• Declarative Data Analysis Using Limit Datalog Programs
• Refinement of Higher-Order Logic Programs

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Calculating modules in contextual logic program refinement
• Title not available (Why is that?)
• Data refinement by calculation
• Don't care non-determinism in logic program refinement
• Program Development in Computational Logic

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