k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] k-user Digest, Vol 34, Issue 1

From: Daniele Filaretti <dfilaretti AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] k-user Digest, Vol 34, Issue 1
Date: Wed, 5 Nov 2014 08:35:00 +0000
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

> On 4 Nov 2014, at 21:46,
> k-user-request AT cs.uiuc.edu
> wrote:
>
> The final version of the POPL'15 paper on the K semantics of Java is now
> available at:
>
> http://fsl.cs.illinois.edu/index.php/K-Java:_A_Complete_Semantics_of_Java
>
> Congratulations, Denis, for your solid work and patience to go through all
> the dark corners of Java!
> I learned a lot of things about Java from you, especially the fact that it
> has its own horribilities :-)

Well done! Congratulations Denis and Grigore! I'll read the paper soon..

Daniele

Re: [K-user] k-user Digest, Vol 34, Issue 1, Daniele Filaretti, 11/05/2014