K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

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 :-)

Now seriously, looking at the semantics of the various languages that have 
been defined in the same
formalism, be that K or Redex or anything else, one question is whether we 
can use the
complexity/size of the formal semantics of a language as a meaningful metric 
to asses how nice/clean/easy
the language is.  Perhaps an empirical study along these lines is possible 
now, and it would probably not
be too boring.

Grigore