Why Separation Logic Works

Abstract

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that… (More)

3 Figures and Tables

Topics

  • Presentations referencing similar topics