Whiley: an Open Source Programming Language with Extended Static Checking

• http://whiley.org/
• http://whiley.org/comments/feed/
• http://whiley.org/feed/
• http://whileylabs.com/
• http://whiley.org/about/people/
• http://whiley.org/about/overview
• http://whiley.org/about/documentation
• http://whiley.org/about/getting-started
• http://whiley.org/about/publications
• http://whiley.org/about/roadmap
• http://whiley.org/about/faq
• http://github.com/Whiley
• https://www.openhub.net/orgs/Whiley
• http://whiley.org/docs/api/index.html
• https://groups.google.com/forum/#!forum/whiley-discuss
• http://whiley.org/category/books-2/
• http://whiley.org/category/whiley/devel/
• http://whiley.org/category/whiley/examples/
• http://whiley.org/category/whiley/interest/
• http://whiley.org/category/whiley/research/
• http://whiley.org/category/whiley/tools/
• http://whiley.org/category/whiley/tutorials/
• http://whiley.org/tag/actors/
• http://whiley.org/tag/arduino/
• http://whiley.org/tag/books/
• http://whiley.org/tag/c/
• http://whiley.org/tag/clojure/
• http://whiley.org/tag/concurrency/
• http://whiley.org/tag/design/
• http://whiley.org/tag/devel/
• http://whiley.org/tag/embedded-systems/
• http://whiley.org/tag/erlang/
• http://whiley.org/tag/escjava/
• http://whiley.org/tag/flow-typing/
• http://whiley.org/tag/fpga/
• http://whiley.org/tag/git/
• http://whiley.org/tag/io/
• http://whiley.org/tag/implementation/
• http://whiley.org/tag/java/
• http://whiley.org/tag/javascript/
• http://whiley.org/tag/jvm/
• http://whiley.org/tag/lisp/
• http://whiley.org/tag/loop-invariants/
• http://whiley.org/tag/microsoft/
• http://whiley.org/tag/papers/
• http://whiley.org/tag/performance/
• http://whiley.org/tag/python/
• http://whiley.org/tag/releases/
• http://whiley.org/tag/rust/
• http://whiley.org/tag/scala/
• http://whiley.org/tag/scoping/
• http://whiley.org/tag/smalltalk/
• http://whiley.org/tag/spec/
• http://whiley.org/tag/structural-subtyping/
• http://whiley.org/tag/syntax/
• http://whiley.org/tag/testing/
• http://whiley.org/tag/theory/
• http://whiley.org/tag/tree-automata/
• http://whiley.org/tag/types/
• http://whiley.org/tag/typing/
• http://whiley.org/tag/value-semantics/
• http://whiley.org/tag/verification/
• http://whiley.org/tag/video/
• http://whiley.org/tag/wyclipse/
• http://whiley.org/tag/wyjc/
• http://whiley.org/tag/wyjvm/
• http://whiley.org/tag/wyone/
• https://personal.cis.strath.ac.uk/~raa/
• http://existentialtype.wordpress.com/
• http://www-fp.cs.st-and.ac.uk/wordpress/
• http://frama-c.com/
• http://gracelang.org/applications/
• http://research.microsoft.com/en-us/projects/verificationcorner/
• http://wcook.blogspot.co.nz/
• http://whiley.org/2018/04/23/verifying-leftpad-in-whiley/
• http://whiley.org/2018/04/23/verifying-leftpad-in-whiley/#comments
• http://whiley.org/2018/04/11/whiley-v0-4-2-released/
• http://whiley.org/2018/04/11/whiley-v0-4-2-released/#respond
• http://whiley.org/2017/12/19/verifying-bubble-sort-in-whiley/
• http://whiley.org/2017/12/19/verifying-bubble-sort-in-whiley/#respond
• http://whiley.org/category/other/
• http://whiley.org/2017/08/24/whiley-demo-oraclelabs/
• http://whiley.org/2017/08/24/whiley-demo-oraclelabs/#comments
• http://whiley.org/2017/08/24/web-ide-gets-a-face-lift/
• http://whiley.org/2017/08/24/web-ide-gets-a-face-lift/#comments
• http://whiley.org/tag/ide/
• http://whiley.org/2017/08/03/whiley-v0-4-1-released/
• http://whiley.org/2017/08/03/whiley-v0-4-1-released/#respond
• http://whiley.org/2017/06/21/on-the-internet-and-object-oriented-programming/
• http://whiley.org/2017/06/21/on-the-internet-and-object-oriented-programming/#comments
• http://whiley.org/tag/oop/
• http://whiley.org/2017/03/28/property-syntax-in-whiley/
• http://whiley.org/2017/03/28/property-syntax-in-whiley/#comments
• http://whiley.org/2017/02/15/on-memory-management-and-rust/
• http://whiley.org/2017/02/15/on-memory-management-and-rust/#respond
• http://whiley.org/tag/lifetimes/
• http://whiley.org/2016/12/09/understanding-effective-unions-in-whiley/
• http://whiley.org/2016/12/09/understanding-effective-unions-in-whiley/#respond
• http://whiley.org/page/2/
• http://whiley.org/2018/04/
• http://whiley.org/2017/12/
• http://whiley.org/2017/08/
• http://whiley.org/2017/06/
• http://whiley.org/2017/03/
• http://whiley.org/2017/02/
• http://whiley.org/2016/12/
• http://whiley.org/2016/11/
• http://whiley.org/2016/09/
• http://whiley.org/2016/08/
• http://whiley.org/2016/05/
• http://whiley.org/2016/04/
• http://whiley.org/2016/03/
• http://whiley.org/2016/01/
• http://whiley.org/2015/12/
• http://whiley.org/2015/11/
• http://whiley.org/2015/10/
• http://whiley.org/2015/09/
• http://whiley.org/2015/06/
• http://whiley.org/2015/04/
• http://whiley.org/2015/02/
• http://whiley.org/2015/01/
• http://whiley.org/2014/12/
• http://whiley.org/2014/10/
• http://whiley.org/2014/09/
• http://whiley.org/2014/08/
• http://whiley.org/2014/07/
• http://whiley.org/2014/06/
• http://whiley.org/2014/05/
• http://whiley.org/2014/03/
• http://whiley.org/2014/02/
• http://whiley.org/2014/01/
• http://whiley.org/2013/12/
• http://whiley.org/2013/11/
• http://whiley.org/2013/10/
• http://whiley.org/2013/08/
• http://whiley.org/2013/07/
• http://whiley.org/2013/06/
• http://whiley.org/2013/05/
• http://whiley.org/2013/04/
• http://whiley.org/2013/01/
• http://whiley.org/2012/12/
• http://whiley.org/2012/11/
• http://whiley.org/2012/10/
• http://whiley.org/2012/09/
• http://whiley.org/2012/08/
• http://whiley.org/2012/07/
• http://whiley.org/2012/06/
• http://whiley.org/2012/05/
• http://whiley.org/2012/04/
• http://whiley.org/2012/03/
• http://whiley.org/2012/02/
• http://whiley.org/2012/01/
• http://whiley.org/2011/12/
• http://whiley.org/2011/11/
• http://whiley.org/2011/10/
• http://whiley.org/2011/09/
• http://whiley.org/2011/08/
• http://whiley.org/2011/07/
• http://whiley.org/2011/06/
• http://whiley.org/2011/05/
• http://whiley.org/2011/04/
• http://whiley.org/2011/03/
• http://whiley.org/2011/02/
• http://whiley.org/2011/01/
• http://whiley.org/2010/12/
• http://whiley.org/2010/11/
• http://whiley.org/2010/10/
• http://whiley.org/2010/09/
• http://whiley.org/2010/08/
• http://whiley.org/2010/07/
• http://whiley.org/2010/06/
• http://frama-c.com/acsl.html
• http://wiki.portal.chalmers.se/agda/pmwiki.php
• http://albatross-lang.sourceforge.net/
• http://alloy.mit.edu/community/
• http://www.ats-lang.org/
• http://boo.codehaus.org/
• http://research.microsoft.com/en-us/projects/boogie/
• http://www.cse.iitb.ac.in/~dipakc/CAPS/
• http://clojure.org
• http://www.contract4j.org/contract4j
• http://cyclone.thelanguage.org/
• http://research.microsoft.com/en-us/projects/dafny/
• http://code.google.com/p/decac/
• http://www.eiffel.com/
• http://github.com/krestenkrab/erjang/wiki
• http://secure.ucd.ie/products/opensource/ESCJava2/
• http://research.microsoft.com/en-us/projects/fstar/
• http://fantom.org/
• http://focalize.inria.fr/
• http://haxe.org/
• http://idris-lang.org/
• http://lara.epfl.ch/dokuwiki/doku.php?id=jahob_system
• http://www.cs.ucf.edu/~leavens/JML/
• http://jcontractor.sourceforge.net/index.html
• http://sdg.csail.mit.edu/forge/
• http://www.cl.cam.ac.uk/~mjp41/jStar/
• http://www.key-project.org/
• http://magnolia-lang.org/
• https://www.ohloh.net/p/magpie-lang
• http://www.cs.rit.edu/~mtf/manticore/
• http://www.milescript.org/
• http://www.mirah.org/
• http://code.google.com/p/mist/
• http://nitlanguage.org/
• http://www.cs.stir.ac.uk/omnibus/
• http://opalang.org/
• http://openjml.org/
• http://parasail-programming-language.blogspot.com/
• http://theory.stanford.edu/~arbrad/pivc/index.html
• http://www.proofpeer.net/
• http://www.cs.clemson.edu/~resolve/
• http://wiki.github.com/graydon/rust/
• http://www.scala-lang.org/
• http://www.sparkada.com/
• http://www.cs.ru.nl/Sparkle/
• http://research.microsoft.com/en-us/projects/specSharp//
• http://Aformalspecificationlanguage
• http://www.cs.kuleuven.be/~jans/vericool/
• http://people.cs.kuleuven.be/~bart.jacobs/verifast/
• http://why.lri.fr/
• http://x10.codehaus.org/
• http://linux.ee/~mzz/yeti/intro.html
• http://cs.nyu.edu/acsys/cvc3/
• http://cvc4.cs.nyu.edu/wiki/User_Manual
• http://www.minisat.se/
• http://code.google.com/p/pure-lang/
• http://www.cs.uiowa.edu/~hzhang/induc.html
• http://www.satlive.org/
• http://www.sat4j.org/
• http://secure.ucd.ie/products/opensource/Simplify/
• http://www.smtcomp.org/
• http://www.smtlib.org/
• http://ultimate.informatik.uni-freiburg.de/smtinterpol/index.html
• http://yices.csl.sri.com/
• http://research.microsoft.com/en-us/um/redmond/projects/z3//
• http://www.absint.com/
• http://www.altran-praxis.com/
• http://www.astree.ens.fr/
• http://www.safety-club.org.au/
• http://www-sop.inria.fr/everest/BML/
• http://www.eschertech.com/index.php
• http://findbugs.sourceforge.net/
• http://corp.galois.com/
• http://invariantstext.sourceforge.net/
• http://www.joelonsoftware.com/articles/fog0000000036.html
• http://www.monoidics.com/
• http://rewriting.loria.fr/
• http://safecode.cs.illinois.edu/
• http://www.safety-club.org.uk/
• http://vsr.sourceforge.net/
• http://www.verifythis.org/
• http://verifythus.cost-ic0701.org/
• http://wordpress.org/
• http://wordpress.bytesforall.com/
• http://www.bytesforall.com/
• http://forum.bytesforall.com/