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
- Wyjc
- Wyone
- Wyjvm

Articles

Book Reviews
(6)
Development
(51)
Examples
(7)
Interest
(26)
Research
(5)
Tools
(0)
Tutorials
(4)

Tags

Actors Ant Books Clojure Concurrency Design Design By Contract Development Econmomics Erlang Git Github Haskell Implementation Java JavaScript Jkit JVM Lisp 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

Contribute

GitHub Repository

Misc

Conferences

Modules

Last modified on November 2nd, 2010

Talk about the module system

Recent Posts

Writing a PNG Decoder in Whiley!
Design of the Whiley Compiler (Wyc) Front-End
Whiley v0.3.13 Released!
Connecting the Dots on the Future of Programming Languages
Three Rules for Programming Language Syntax?

Popular Posts

Three Rules for Programming Language Syntax? (23)
Connecting the Dots on the Future of Programming Languages (19)
Writing a PNG Decoder in Whiley! (2)

Archive

February 2012 (2)
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
Joel on Writing Specs
Monoidics
Rewriting Home
SafeCODE
UK Safety-Critical Systems Club
Verified Software Repository
VerifyThus

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

69 queries. 0.526 seconds.