http://blog.webfoot.com/2007/05/20/software-tools-jml-and-daikon/ Wed, 18 Nov 2009 14:52:27 -0800 http://wordpress.org/?v=2.8.4 hourly 1 http://blog.webfoot.com/2007/05/20/software-tools-jml-and-daikon/comment-page-1/#comment-240 Best Webfoot Forward » VanDev talk summary Thu, 07 Feb 2008 18:54:59 +0000 http://www.webfoot.com/blog/2007/05/20/software-tools-jml-and-daikon/#comment-240 [...] flagged. It sounds like it would be really tedious to generate all those promises, but the tool Daikon can help. Daikon can generate promises based on actual run data; if something changes to violate [...] [...] flagged. It sounds like it would be really tedious to generate all those promises, but the tool Daikon can help. Daikon can generate promises based on actual run data; if something changes to violate [...]

]]> http://blog.webfoot.com/2007/05/20/software-tools-jml-and-daikon/comment-page-1/#comment-239 Best Webfoot Forward » comparative programming linguistics Tue, 22 May 2007 04:42:42 +0000 http://www.webfoot.com/blog/2007/05/20/software-tools-jml-and-daikon/#comment-239 [...] Sometimes the various devotees will give a nod to the richness of their language’s libraries, or to the robustness of their compiler, but rarely. Recently, I’ve been working on a hobby project in PHP while reading up on tools like odb, JML, Daikon, Esc/Java2, javaspider, and EmmaECL. The contrast is stark. [...] [...] Sometimes the various devotees will give a nod to the richness of their language’s libraries, or to the robustness of their compiler, but rarely. Recently, I’ve been working on a hobby project in PHP while reading up on tools like odb, JML, Daikon, Esc/Java2, javaspider, and EmmaECL. The contrast is stark. [...]

]]>