thesis on JML

[Adam Darvas]

Dear all,

Gary encouraged me to send the URL and the abstract of my PhD thesis to
the mailing-list, so here it is.
The thesis is mainly about (1) the encoding and axiomatization of pure
methods and (2) the semantically faithful mapping of model classes to
theories of theorem provers.
It is available at:

http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=DarvasDiss.pdf

Regards,
   Adam


------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Jmlspecs-interest mailing list
Jmlspecs-interest@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-interest