Whiley

A Programming Language with Extended Static Checking

About

Play
People
Overview
Documentation
Getting Started
Publications
Roadmap
FAQ

Contribute

GitHub
OpenHub
Compiler API
Forum

Articles

No categories

Tags

Actors Arduino Books C++ Clojure Concurrency Design Development Embedded Systems Erlang ESC/Java Flow Typing FPGA Git I/O Implementation Java JavaScript JVM Lisp Loop Invariants Microsoft Papers Performance Python Releases Rust Scala Scoping SmallTalk Spec# Structural Subtyping Syntax Testing Theory Tree Automata Types Typing Value Semantics Verification Video Wyclipse Wyjc Wyjvm Wyone

Blogroll

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

Misc

Conferences

About

Last modified on June 6th, 2010

Recent Posts

Program Specification in Practice?
Flow Typing with Constrained Types
Reference Lifetimes in Whiley
Whiley v0.3.40 Released!
Contractive and Uninhabited Types in Whiley

Archive

Related Languages

Theorem Provers

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

Other Links

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

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

51 queries. 0.307 seconds.