On merging software extensions

DOI10.1007/BF00264309MaRDI QIDQ1082067zbMATH OpenFDO

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

Recommendations

• Merging Logic Programs under Answer Set Semantics
• scientific article; zbMATH DE number 177792
• A Formal Investigation of Diff3
• Merging Belief Bases Represented by Logic Programs
• Program Compatibility Approaches

Cites work

• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Data Types as Lattices
• Heterogeneous algebras
• Inductive methods for proving properties of programs

Cited in

(3)

• scientific article; zbMATH DE number 1947686 (Why is no real title available?)
• scientific article; zbMATH DE number 7774307 (Why is no real title available?)
• A Formal Investigation of Diff3

This page was built for publication: On merging software extensions

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