Victoria University

Browsing by Author "Tabilog, Allan"

ResearchArchive/Manakin Repository

Browsing by Author "Tabilog, Allan"

Sort by: Order: Results:

  • Tabilog, Allan (Victoria University of Wellington, 2017)
    This thesis explores two kinds of program logics that have become important for modern program verification - separation logic, for reasoning about programs that use pointers to build mutable data structures, and rely ...

Search ResearchArchive


My Account