Why Separation Logic Works


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


  • Presentations referencing similar topics