The Semantics of Version Control
Wouter Swierstra, Andres Löh

As software becomes increasingly complex, software configuration management is becoming ever more important. This paper shows how logics for reasoning about mutable state, such as separation logic, can also be used to give semantics for version control systems. By applying these ideas from the programming language research community, developers may reason formally about the broader software development process.

Download / Links
ACM DL Author-ize serviceThe Semantics of Version Control
Wouter Swierstra, Andres Löh
Onward! 2014 Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, 2014

Valid XHTML 1.0! Valid CSS!

Andres Löh, 2016-02-04