Unifying program construction and modification

DOI10.1093/JIGPAL/6.2.317MaRDI QIDQ4383704zbMATH OpenOpenAlexFDO

Authors Marc Frappier, Jules Desharnais, Ali Mili

Publication date 2 April 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/33559c9f3310fd328801fc73ba48ed354b853284

zbMATH Keywords

program modificationrelational specificationsrefinement lattice

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1303991
• scientific article; zbMATH DE number 4047035
• A program refinement tool
• A calculus of refinements for program derivations

Cited in

(7)

• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• scientific article; zbMATH DE number 1897134 (Why is no real title available?)
• scientific article; zbMATH DE number 4047035 (Why is no real title available?)
• Program composition via unification
• scientific article; zbMATH DE number 2043526 (Why is no real title available?)
• Parallel composition and decomposition of specifications
• A calculus of program adaption and its applications

This page was built for publication: Unifying program construction and modification

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