[SMT-LIB] SMT Separation Logic

[Christoph Wintersteiger]

Hi all,

Do we know what happened to proposal for a theory of separation logic? We have a person interested in this topic (see https://github.com/Z3Prover/z3/issues/811 ), but I don't know who to refer him to.

Cheers,
Christoph

Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | https://www.microsoft.com/en-us/research/people/cwinter/

[MSFT_logo_Gray DE sized SIG1.png]
Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB

-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 1168 bytes
Desc: image001.jpg
URL: </pipermail/smt-lib/attachments/20161128/df847379/attachment.jpg>