scientific article; zbMATH DE number 4181309

MaRDI QIDQ3204444zbMATH OpenFDO

Authors Fangmin Song

Publication date 1990

zbMATH Keywords

equivalencepropositional dynamic logicterminationcorrectness of programslogical system for relations

Mathematics Subject Classification ID

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

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

(14)

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

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)