Unifying program construction and modification

DOI10.1093/jigpal/6.2.317zbMath0892.68063OpenAlexW2088904205MaRDI QIDQ4383704

Jules Desharnais, Marc Frappier, Ali Milli

Publication date: 2 April 1998

Published in: Logic Journal of 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)

Related Items (1)

Parallel composition and decomposition of specifications

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