Lobsters
- PL for SE, Part 1: “Programming Languages” https://taliasplse.wordpress.com/2017/04/24/pl-for-se-part-1-programming-languages/ 3 comments compilers , compsci
Linked pages
- Therac-25 - Wikipedia https://en.wikipedia.org/wiki/Therac-25 605 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- Hindley–Milner type system - Wikipedia https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system 6 comments
- FindBugs™ - Find Bugs in Java Programs http://findbugs.sourceforge.net/ 5 comments
- Checked C - Microsoft Research https://www.microsoft.com/en-us/research/project/checked-c/ 0 comments
- Cassius: Automated Reasoning for Web Page Layout https://cassius.uwplse.org/ 0 comments
- [1607.05443] Beginner's Luck: A Language for Property-Based Generators http://arxiv.org/abs/1607.05443 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:taliasplse.wordpress.com
Search title: PL for SE, Part 1: “Programming Languages” | taliasplse
See how to search.