- Whiley: a Programming Language with Extended Static Checking http://whiley.org/ 12 comments programming
- Whiley: an Open Source Programming Language with Extended Static Checking http://whiley.org/ 5 comments programming
- I want to know about available programming languages that implements extended static checking (ESC). Thoughts? http://whiley.org/ 14 comments compsci
Linking pages
- In Praise of Function Pre and Postconditions | Programming Zen http://programmingzen.com/2016/07/03/in-praise-of-function-pre-and-postconditions/ 138 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- GitHub - Whiley/WhileyCompiler: The Whiley Compiler (WyC) https://github.com/whiley/whileycompiler 15 comments
- 20 Coolest Features of Non-Java JVM Languages - DEV Community https://dev.to/awwsmm/20-coolest-features-of-non-java-jvm-languages-2p4h 0 comments
- wuffs/related-work.md at main · google/wuffs · GitHub https://github.com/google/wuffs/blob/main/doc/related-work.md 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.