Local Action and Abstract Separation Logic

By Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang. Logic in Computer Science, 2007

296 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/b3a0973fc9fad5770f3b10fd52a18f624b734425

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Matthew J. Parkinson
2. Viktor Vafeiadis

In Computer Networks and Communications

1. Matthew J. Parkinson
2. Viktor Vafeiadis

In Hardware and Architecture

1. Matthew J. Parkinson
2. Viktor Vafeiadis

Citations in the corpus

• A Marriage of Rely/Guarantee and Separation Logic (2007, methodology): “Our semantics follows the abstract semantics for separation logic of Calcagno, O’Hearn and Yang [5].”