Reynolds, J., et al. (2002) Separation Logic: A Logic for Shared Mutable Data Structures. Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, Copenhagen, 22-25 July 2002, 55-74.
https://doi.org/10.1109/LICS.2002.1029817

has been cited by the following article:

• TITLE: Matching Source Code Using Abstract Syntax Trees in Version Control Systems

  AUTHORS: Jonathan van den Berg, Hirohide Haga

  KEYWORDS: Version Control, Source Code Matching, Abstract Syntax Tree, Structured Representation

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.11 No.6, June 29, 2018

  ABSTRACT: Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the majority of worldwide software projects. Although existing version control systems provide sufficient functionality in many situations, they are lacking in terms of semantics and structure for source code. It is commonly believed that improving software version control can contribute substantially to the development of software. We present a solution that considers a structural model for matching source code that can be used in version control.