[Iris-Club] Acryonym: what does the CMRA stand for?

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Thu Aug 4 13:31:31 CEST 2016

Thank you for the detailed explanation.  After reading it I am almost
convinced that the logic really should be named Iris.. and want to buy you
a cup of beer!

> I decided it was better not to name a logic after my wife.
I will keep that in my mind for the case that I could be married to someone

Probably in a near future I will come up with more questions on the Iris
logic and its semantic domains, and possibly the Coq formalization.  Thank
you for running a mailing list for newbies.


2016-08-04 18:01 GMT+09:00 Ralf Jung <jung at mpi-sws.org>:

> Hi,
> > 1. CMRA stands for "complete metric resource algebra" (or something
> > like that: we could never find a very suitable acronym).
> Yeah, that was my original thinking... the acronym never really made
> sense, but at least it was pronounceable. ;)
> > 2. The logic was originally called ROSE (standing for "resources,
> > ownership, separation, and I don't know what the E stood for")
> "E" was for "encapsulation".
> Kind regards,
> Ralf
> --
> iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> Management: https://lists.mpi-sws.org/listinfo/iris-club
> Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org

Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20160804/eefbc99b/attachment.html>

More information about the Iris-Club mailing list