Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:importance_of_verification [2010/02/22 11:28] vkuncak |
sav08:importance_of_verification [2010/02/22 13:24] vkuncak |
||
---|---|---|---|
Line 7: | Line 7: | ||
* [[http://snobol.cs.berkeley.edu/prospector/index.jsp|Prospector tool for finding code snippets]] | * [[http://snobol.cs.berkeley.edu/prospector/index.jsp|Prospector tool for finding code snippets]] | ||
* [[http://msevents.microsoft.com/CUI/WebCastEventDetails.aspx?culture=en-US&EventID=1032273351&CountryCode=US|Webcast of the Spec# programming system from Microsoft Research]], or just see [[http://lara.epfl.ch/~kuncak/lectures/SpecSharp.wmv|this file, minutes 12-23]] | * [[http://msevents.microsoft.com/CUI/WebCastEventDetails.aspx?culture=en-US&EventID=1032273351&CountryCode=US|Webcast of the Spec# programming system from Microsoft Research]], or just see [[http://lara.epfl.ch/~kuncak/lectures/SpecSharp.wmv|this file, minutes 12-23]] | ||
+ | * synthesis - large potential | ||
* Refactoring - check that suggested program transformations preserve program meaning | * Refactoring - check that suggested program transformations preserve program meaning | ||
* [[http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.sas2007.html/$FILE/sas2007.pdf|Refactoring using Type Constraints]] by Frank Tip | * [[http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.sas2007.html/$FILE/sas2007.pdf|Refactoring using Type Constraints]] by Frank Tip |