Software Merge: Semantics of Combining Changes to Programs.
Valdis BerzinsPublished in: ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
- control flow
- free software
- formal semantics
- stable model semantics
- software architecture
- programming environments
- test cases
- software systems
- software design
- software tools
- dynamic logic
- software testing
- data flow
- software maintenance
- logic programming
- database languages
- programming environment
- computer systems
- fixpoint semantics
- hardware designs
- declarative semantics
- case study
- java programs
- commercial software
- stable models
- software components
- first order logic
- logic programs
- open source
- knowledge representation