Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
论文与出版物
An Introduction to DKAL
项目
Try F#
Thank you to everyone who used and contributed to Try F#, an online coding website launched in 2012. The site is no longer supported and has been redirected to this research page. Additional F# resources…
视频
Demo of the CodeContracts static checker with code fixes
A short demo of cccheck/Clousot The code implements a (buggy) Binary Search. The squiggles are bugs found by the static checker. The boxes are fixes suggested by it
