Whiley: an Open Source Programming Language with Extended Static Checking
Description: Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
Keywords: Programming Language, Software Verification, Extended Static Checking, Program Analysis, Static Analysis, Java, JVM
Tags: whiley, static, language, programming, checking, extended, source, open, jvm, structural, types, subtyping, java, analysis, development, typing, verification, software, actors, comments, program, comment, really, data, freakonomics, hate, thing, time, uses, implementing, recursive, errors, runs, eliminate, compile, minimising, dave, read, concurrency, posts,
Whiley.org
|
Content Revalency:
Title: 60.00%
Description: 39.13%
Keywords: 81.82% | Document size: 88,073 bytes
More info: Whois - Trace Route - RBL Check |
|
| WHILEY.ORG - Site Location | |
| Country/Flag |  New Zealand |
| City/Region/Zip Code | Wellington, Wellington, 6149 |
| Organization | Victoria University of Wellington |
| Internet Service Provider | Victoria University of Wellington |
| WHILEY.ORG - Domain Information | |
| Domain | WHILEY.ORG [ Traceroute RBL/DNSBL lookup ] |
| Registrar | Crazy Domains FZ-LLC |
| Whois server | whois.pir.org |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| Status | ok https://icann.org/epp#ok |
| DNS servers | DOWNSTAGE.ECS.VUW.AC.NZ 130.195.6.10 NS1.ECS.VUW.AC.NZ 130.195.5.12 |
| WHILEY.ORG - DNS Information | |
| IP Address | 130.195.5.18 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns1.ecs.vuw.ac.nz 130.195.5.12 downstage.ecs.vuw.ac.nz 130.195.6.10 |
| Mail Exchange | |
| Site Response Header | |
| Response | HTTP/1.1 301 Moved Permanently |
| Server | Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.9-dev DAV/2 mod_auth_kerb/5.4 |
| Date | Mon, 18 Apr 2011 06:14:38 GMT |
| Content-Type | text/html; charset=UTF-8 |