Home | Categories | Sources | Sites | Languages | About
Note: The project has been discontinued
Speckle
With the growing interest in program specifications, I'm surprised few people have looked at Speckle. This system demonstrates the obvious: if you've got specifications, then a compiler could use it to optimize your code. So now you get verification and...
15:27:23 July 21, 2005, Thursday (PDT) Source: Green Hat Journal

Additional Info

First Fetched: 06:34:42 09/27/2005
Last Updated: 06:34:42 09/27/2005