[Iris-Club] Acryonym: what does the CMRA stand for?
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>:
> > 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,
> 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...
More information about the Iris-Club