E. Lozes

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Separation Logic: Expressiveness and Copyless Message-Passing

E. Lozes (2012)

Reasoning about sequences of memory states

R. Brochenin and others (2009) · Elsevier BV

Separation logic preserves the expressive power of classical logic

E. Lozes (2004) · SPACE’04