|
|
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, G2, 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
|
| 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 |
|
