scientific article; zbMATH DE number 4047053

MaRDI QIDQ3783512zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

induction formulasprogram transformationPrologverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 868104
• Logic programs as specifications in the inductive verification of logic programs
• scientific article; zbMATH DE number 3956408
• scientific article; zbMATH DE number 3965464
• scientific article; zbMATH DE number 4037276

Cited in

(10)

• Automatic inductive theorem proving using Prolog
• Verifying programs in the calculus of inductive constructions
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Constraint-based correctness proofs for logic program transformations
• The propositional formula checker HeerHugo
• Totally correct logic program transformations via well-founded annotations
• Rippling: A heuristic for guiding inductive proofs
• Recursively indefinite databases
• Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
• Experiments with proof plans for induction

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