URL details: whiley.org
URL title:
Whiley: an Open Source Programming Language with Extended Static Checking
URL description:
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
URL keywords:
Programming Language, Software Verification, Extended Static Checking, Program Analysis, Static Analysis, Java, JVM
URL last crawled:
2022-06-11
URL speed:
0.081 MB/s,
downloaded in 1.200 seconds
2 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2021-06-21
Victoria University of Wellington
2021-05-31
Whiley