Whiley

A Programming Language with Extended Static Checking

About

Overview
People
Publications
Roadmap

Documentation

FAQ
Getting Started
Language Guide
- Data Types
  - Primitives
  - Lists
  - Sets
  - Maps
  - Tuples
  - Records
  - Functions
- Type System
  - Flow Typing
  - Structural Subtyping
- Semantics
  - Values
  - Purity
- Concurrency
- Constraints
- Modules
Tools
- Wyclipse
- Wyjc
- Wyone
- Wyjvm

Articles

Book Reviews
(7)
Development
(55)
Examples
(8)
Interest
(29)
Research
(5)
Tools
(0)
Tutorials
(4)

Tags

Actors Ant Apple Books Clojure Concurrency Design Design By Contract Development Eclipse Econmomics Erlang Git Github Haskell Implementation Java JavaScript Jkit JVM Lisp Microsoft Papers Performance Python Rust Scala Scoping SmallTalk Structural Subtyping Syntax Testing Theory Tree Automata Tutorial Types Typing Value Semantics Verification Video Wyautl Wyclipse Wyjc Wyjvm Wyone

Blogroll

Bob Atkey's Blog
Existential Type
FP@StAnd
Graceful Blog
The Verification Corner
Will Cook's Fusings

Contribute

GitHub Repository
Compiler API

Misc

Conferences

Structural Subtyping

Last modified on February 23rd, 2011

Recent Posts

Termination of Flow Typing in Whiley
Are Checked Exceptions Always Caused by I/O?
Test to Code Ratio
Whiley v0.3.14 Released!
Commonwealth Bank of Australia (CBA) denies problem with Leap Year?

Popular Posts

Termination of Flow Typing in Whiley (8)
Are Checked Exceptions Always Caused by I/O? (4)

Archive

April 2012 (2)
March 2012 (5)
February 2012 (3)
January 2012 (3)
December 2011 (5)
November 2011 (1)
October 2011 (4)
September 2011 (3)
August 2011 (5)
July 2011 (7)
June 2011 (6)
May 2011 (4)
April 2011 (3)
March 2011 (2)
February 2011 (5)
January 2011 (2)
December 2010 (4)
November 2010 (5)
October 2010 (6)
September 2010 (7)
August 2010 (4)
July 2010 (8)
June 2010 (12)

Related Languages

Theorem Provers

CVC3
MiniSAT
Pure
RRL
SAT Live!
SAT4J
Simplify
SMT Comp
SMT Lib
Yices
Z3

Other Links

AbsInt
Altran Praxis
Astrée
Australian Safety Critical Systems Association
Bytecode Modelling Language
Escher Technologies
Findbugs
Galois
Joel on Writing Specs
Monoidics
Rewriting Home
SafeCODE
UK Safety-Critical Systems Club
Verified Software Repository
VerifyThis
VerifyThus

Copyright © 2012 David J. Pearce - All Rights Reserved
Powered by WordPress & the Atahualpa Theme by BytesForAll. Discuss on our WP Forum

74 queries. 0.574 seconds.