laarcnew | comments | discord | tags | ask | show | place | submit | fromlogin
1.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 124 days ago | discuss
2.
Automated, Modular, Refinement Reasoning for Concurrent Programs (microsoft.com)
5 points by nickpsecurity to programming math 184 days ago | discuss
3.
Implementing functional languages: A Tutorial (pdf) (microsoft.com)
2 points by nickpsecurity to programming educational classics 196 days ago | 1 comment

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: