Whiley
Edit Page
Report
Scan day: 07 February 2014 UTC
35
Virus safety - good
Description: A hybrid object-oriented and functional programming language which compiles to the JVM.
Whiley: an Open Source Programming Language with Extended Static Checking A Programming Language with Extended Static Checking Recently, I’ve been upgrading my tracked arduino robot with a few more sensors. Check out the video:
Size: 229 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Whiley: an Open Source Programming Language with Extended Static Checking |
| Keywords: | Programming Language, Software Verification, Extended Static Checking, Program Analysis, Static Analysis, Java, JVM |
| Description: | Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time. |
| IP-address: | 130.195.5.18 |