http://whiley.org/ 2011-03-22T08:23:30+00:00 daily 1.0 http://whiley.org/2011/03/22/actors-on-jvm/ 2011-03-22T08:23:30+00:00 monthly 0.2 http://whiley.org/2011/03/07/implementing-structural-types/ 2011-03-07T08:35:47+00:00 monthly 0.2 http://whiley.org/getting-started/ 2011-02-23T21:22:35+00:00 weekly 0.6 http://whiley.org/guide/concurrency/primitives/ 2011-02-23T21:20:00+00:00 weekly 0.6 http://whiley.org/guide/concurrency/overvie/ 2011-02-23T21:16:56+00:00 weekly 0.6 http://whiley.org/guide/concurrency/ 2011-02-23T21:15:45+00:00 weekly 0.6 http://whiley.org/guide/semantics/purity/ 2011-02-23T21:14:37+00:00 weekly 0.6 http://whiley.org/guide/semantics/ 2011-02-23T21:14:09+00:00 weekly 0.6 http://whiley.org/guide/semantics/values/ 2011-02-23T21:08:22+00:00 weekly 0.6 http://whiley.org/guide/data-types/lists/ 2011-02-23T20:59:38+00:00 weekly 0.6 http://whiley.org/guide/data-types/ 2011-02-23T20:54:43+00:00 weekly 0.6 http://whiley.org/guide/ 2011-02-23T20:52:31+00:00 weekly 0.6 http://whiley.org/about/roadmap/ 2011-02-23T20:49:21+00:00 weekly 0.6 http://whiley.org/faq/ 2011-02-23T20:36:43+00:00 weekly 0.6 http://whiley.org/guide/typing/ 2011-02-23T08:31:51+00:00 weekly 0.6 http://whiley.org/tools/ 2011-02-23T08:22:16+00:00 weekly 0.6 http://whiley.org/api/ 2011-02-23T08:21:39+00:00 weekly 0.6 http://whiley.org/spec/ 2011-02-23T08:21:07+00:00 weekly 0.6 http://whiley.org/guide/data-types/maps/ 2011-02-23T07:00:11+00:00 weekly 0.6 http://whiley.org/guide/typing/flow-typing/ 2011-02-23T06:59:21+00:00 weekly 0.6 http://whiley.org/guide/typing/structural-subtyping/ 2011-02-22T23:38:31+00:00 weekly 0.6 http://whiley.org/guide/data-types/functions/ 2011-02-22T23:24:56+00:00 weekly 0.6 http://whiley.org/guide/concurrency/deadlocks/ 2011-02-22T22:55:56+00:00 weekly 0.6 http://whiley.org/2011/02/23/freakonomics/ 2011-02-22T21:44:30+00:00 monthly 0.2 http://whiley.org/misc/conferences/ 2011-02-17T20:24:12+00:00 weekly 0.6 http://whiley.org/2011/02/16/minimising-recursive-data-types/ 2011-02-16T20:30:46+00:00 monthly 0.2 http://whiley.org/2011/02/15/a-problem-structural-subtyping-an-recusive-types/ 2011-02-16T08:50:10+00:00 monthly 0.2 http://whiley.org/2011/02/14/whiley-v0-3-3-released/ 2011-02-14T06:21:12+00:00 monthly 0.2 http://whiley.org/2011/02/07/what-motivates-us/ 2011-02-06T20:20:26+00:00 monthly 0.2 http://whiley.org/2010/11/30/where-good-ideas-come-from/ 2011-02-06T20:07:28+00:00 monthly 0.2 http://whiley.org/2010/08/19/beautiful-code/ 2011-02-06T20:06:25+00:00 monthly 0.2 http://whiley.org/2010/10/28/the-design-of-design/ 2011-02-06T20:05:49+00:00 monthly 0.2 http://whiley.org/2010/12/13/why-not-use-structural-subtyping/ 2011-02-06T19:58:25+00:00 monthly 0.2 http://whiley.org/2011/01/14/one-approach-efficient-structural-subtyping/ 2011-02-06T19:58:04+00:00 monthly 0.2 http://whiley.org/2011/01/26/case-against-structural-subtyping/ 2011-02-06T19:57:13+00:00 monthly 0.2 http://whiley.org/downloads/ 2011-01-28T02:25:53+00:00 weekly 0.6 http://whiley.org/2010/12/16/whiley-v0-3-2-released/ 2010-12-15T22:55:29+00:00 monthly 0.2 http://whiley.org/2010/12/14/modular-purity-analysis-for-java/ 2010-12-13T20:13:13+00:00 monthly 0.2 http://whiley.org/about/publications/ 2010-12-06T01:35:15+00:00 weekly 0.6 http://whiley.org/2010/12/06/the-future-of-programming-languages/ 2010-12-05T22:06:32+00:00 monthly 0.2 http://whiley.org/2010/11/24/whiley-on-github/ 2010-11-23T19:44:30+00:00 monthly 0.2 http://whiley.org/2010/11/14/a-problem-on-typing-vs-verification/ 2010-11-14T00:17:46+00:00 monthly 0.2 http://whiley.org/2010/11/09/more-on-flow-sensitive-typing/ 2010-11-09T19:33:44+00:00 monthly 0.2 http://whiley.org/2010/11/03/whiley-v0-3-1-released/ 2010-11-02T21:21:17+00:00 monthly 0.2 http://whiley.org/guide/modules/ 2010-11-02T00:12:21+00:00 weekly 0.6 http://whiley.org/2010/10/25/implementing-actors-on-the-jvm/ 2010-10-25T03:08:51+00:00 monthly 0.2 http://whiley.org/2010/10/18/indentation-syntax-in-whiley/ 2010-10-17T21:07:36+00:00 monthly 0.2 http://whiley.org/2010/09/22/on-flow-sensitive-types-in-whiley/ 2010-10-11T04:05:58+00:00 monthly 0.2 http://whiley.org/2010/09/23/whiley-gets-a-whiley-loop/ 2010-10-11T04:04:58+00:00 monthly 0.2 http://whiley.org/2010/10/05/field-resolutio-in-whiley/ 2010-10-11T04:03:46+00:00 monthly 0.2 http://whiley.org/2010/10/11/function-pointer-syntax-for-whiley/ 2010-10-11T04:03:17+00:00 monthly 0.2 http://whiley.org/2010/10/04/better-namespaces/ 2010-10-04T05:30:42+00:00 monthly 0.2 http://whiley.org/2010/06/23/rich-hickey-on-clojure-se-radio/ 2010-10-01T04:05:01+00:00 monthly 0.2 http://whiley.org/guide/data-types/primitives/ 2010-09-30T21:46:26+00:00 weekly 0.6 http://whiley.org/guide/data-types/records/ 2010-09-30T21:32:29+00:00 weekly 0.6 http://whiley.org/guide/constraints/ 2010-09-30T21:27:57+00:00 weekly 0.6 http://whiley.org/guide/data-types/sets/ 2010-09-30T06:14:12+00:00 weekly 0.6 http://whiley.org/guide/data-types/tuples/ 2010-09-30T06:10:00+00:00 weekly 0.6 http://whiley.org/2010/09/30/thoughts-on-loop-invariants/ 2010-09-29T20:28:19+00:00 monthly 0.2 http://whiley.org/2010/09/29/whiley-v0-3-0released/ 2010-09-29T19:57:55+00:00 monthly 0.2 http://whiley.org/2010/09/19/normalising-recursive-data-types/ 2010-09-19T23:53:51+00:00 monthly 0.2 http://whiley.org/2010/09/20/java-pathfinder/ 2010-09-18T23:19:33+00:00 monthly 0.2 http://whiley.org/2010/09/08/james-bach-on-software-testing/ 2010-09-08T07:54:50+00:00 monthly 0.2 http://whiley.org/2010/08/14/short-whiley-demo-video/ 2010-08-14T03:16:04+00:00 monthly 0.2 http://whiley.org/2010/08/05/the-x10-programming-language/ 2010-08-12T21:19:41+00:00 monthly 0.2 http://whiley.org/about/overview/ 2010-08-10T09:38:47+00:00 weekly 0.6 http://whiley.org/2010/07/23/thinking-about-pre-and-post-conditions-in-whiley/ 2010-08-10T09:17:05+00:00 monthly 0.2 http://whiley.org/2010/06/30/example-sum-over-a-positive-list/ 2010-08-07T00:18:52+00:00 monthly 0.2 http://whiley.org/2010/08/02/infamous-software-failures-in-new-zealand/ 2010-08-02T09:52:34+00:00 monthly 0.2 http://whiley.org/2010/06/26/what-is-extended-static-checking/ 2010-07-28T09:09:19+00:00 monthly 0.2 http://whiley.org/about/people/ 2010-07-28T02:22:30+00:00 weekly 0.6 http://whiley.org/tools/jkit/ 2010-07-26T00:02:15+00:00 weekly 0.6 http://whiley.org/2010/07/25/whiley-v0-2-9-released/ 2010-07-24T23:01:48+00:00 monthly 0.2 http://whiley.org/2010/07/25/thinking-about-recursive-constrained-types-in-whiley/ 2010-07-23T03:19:27+00:00 monthly 0.2 http://whiley.org/2010/07/15/on-object-oriented-programming/ 2010-07-22T21:28:10+00:00 monthly 0.2 http://whiley.org/2010/07/22/language-designers-who-wait/ 2010-07-21T21:22:54+00:00 monthly 0.2 http://whiley.org/2010/07/08/finding-bugs-in-the-real-world/ 2010-07-13T05:05:50+00:00 monthly 0.2 http://whiley.org/2010/07/10/whiley-v0-2-8-released/ 2010-07-10T05:09:29+00:00 monthly 0.2 http://whiley.org/2010/07/05/kiwi-language-creator-acknowledged/ 2010-07-04T21:07:54+00:00 monthly 0.2 http://whiley.org/2010/06/25/whiley-at-dagstuhl/ 2010-06-24T22:25:28+00:00 monthly 0.2 http://whiley.org/2010/06/24/whiley-v0-2-7-released/ 2010-06-24T03:12:27+00:00 monthly 0.2 http://whiley.org/2010/06/22/the-trouble-with-quantifier-instantiation-in-smt-solver/ 2010-06-22T06:37:21+00:00 monthly 0.2 http://whiley.org/misc/ 2010-06-21T22:49:41+00:00 weekly 0.6 http://whiley.org/2010/06/07/dafny-an-automatic-program-verifier-for-functional-correctness/ 2010-06-14T21:37:00+00:00 monthly 0.2 http://whiley.org/2010/06/07/software-engineering-disasters-video/ 2010-06-14T21:36:45+00:00 monthly 0.2 http://whiley.org/2010/06/10/to-the-moon-and-back/ 2010-06-14T21:36:30+00:00 monthly 0.2 http://whiley.org/2010/06/15/experimental-security-analysis-of-a-modern-automobile/ 2010-06-14T21:33:26+00:00 monthly 0.2 http://whiley.org/2010/06/13/an-overview-of-whileys-testing-framework/ 2010-06-13T20:45:36+00:00 monthly 0.2 http://whiley.org/2010/06/07/wjc-status-update/ 2010-06-13T01:56:54+00:00 monthly 0.2 http://whiley.org/tools/wyjvm/ 2010-06-10T04:46:44+00:00 weekly 0.6 http://whiley.org/tools/wyjc/ 2010-06-09T04:42:55+00:00 weekly 0.6 http://whiley.org/tools/wyone/ 2010-06-09T04:41:32+00:00 weekly 0.6 http://whiley.org/about/ 2010-06-06T03:56:07+00:00 weekly 0.6