scientific article; zbMATH DE number 4181309

MaRDI QIDQ3204444zbMATH OpenFDO

Authors Fangmin Song

Publication date 1990

zbMATH Keywords

correctness of programsequivalencelogical system for relationspropositional dynamic logictermination

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Dynamic logic with program specifications and its relational proof system
• scientific article; zbMATH DE number 4197948
• scientific article; zbMATH DE number 67020
• scientific article; zbMATH DE number 3846863
• scientific article; zbMATH DE number 1678381

Cited in

(16)

• Relational programming laws in the tree, list, bag, set hierarchy
• Reflective programming in the relational algebra
• scientific article; zbMATH DE number 5863196 (Why is no real title available?)
• Relational decomposition
• scientific article; zbMATH DE number 4177028 (Why is no real title available?)
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)
• scientific article; zbMATH DE number 3854395 (Why is no real title available?)
• Relativized hyperequivalence of logic programs for modular programming
• scientific article; zbMATH DE number 3956407 (Why is no real title available?)
• scientific article; zbMATH DE number 67020 (Why is no real title available?)
• Dynamic logic with program specifications and its relational proof system
• The relationship between logic programs and specifications-the subset example revisited
• scientific article; zbMATH DE number 2063843 (Why is no real title available?)
• Relational logic with framing and hypotheses
• The Relationlog system prototype
• Relational Logics and Their Applications

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