On merging software extensions

DOI10.1007/BF00264309zbMath0602.68016MaRDI QIDQ1082067

Valdis Berzins

Publication date: 1986

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

correctnessapplicative programssemantic merge rulesoftware merging problem

Mathematics Subject Classification ID

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

Cites Work

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Data Types as Lattices
• Inductive methods for proving properties of programs
• Heterogeneous algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On merging software extensions