Why Separation Logic Works
Sign Up to like & getrecommendations! Published in 2018 at "Philosophy & Technology"
DOI: 10.1007/s13347-018-0312-8
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… read more here.
Keywords: separation; separation logic; computer scientists; logic works ... See more keywords