On merging software extensions

DOI10.1007/BF00264309MaRDI QIDQ1082067zbMATH OpenFDO

Authors Valdis Berzins

Publication date 1986

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00264309

zbMATH Keywords

applicative programscorrectnesssemantic merge rulesoftware merging problem

Mathematics Subject Classification ID

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

Review text

The problem of combining independent updates to a program is examined in the context of applicative programs. A partial semantic merge rule is given together with the conditions under which it is guaranteed to be correct, and the conditions under which a string merge corresponds to a semantic merge are examined. The theoretical work reported here contains initial steps towards a solution of the software merging problem and is not sufficient for producing a practical system.

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

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Data Types as Lattices
• Heterogeneous algebras
• 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?)
• Inductive methods for proving properties of programs

Cited in

(3)

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

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)