Expression refinement in higher order logic

MaRDI QIDQ4250665zbMATH OpenFDO

Authors Brendan P. Mahony

Publication date 17 June 1999

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Refinement concepts formalised in higher order logic
• Refinement of Higher-Order Logic Programs
• Expressibility of higher order logics
• scientific article; zbMATH DE number 1863386
• On refinement in rewriting logic
• scientific article; zbMATH DE number 1852930
• scientific article; zbMATH DE number 1028827
• scientific article; zbMATH DE number 1552533

Cited in

(8)

• Mechanizing some advanced refinement concepts
• Non-deterministic expressions and predicate transformers
• Refinement of Higher-Order Logic Programs
• Refining exceptions in four-valued logic
• Differential Refinement Logic
• scientific article; zbMATH DE number 1863389 (Why is no real title available?)
• Representing WP semantics in Isabelle/ZF
• Refinement concepts formalised in higher order logic

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Expression refinement in higher order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250665)