Matches in DBpedia 2016-04 for { ?s ?p "Whiley is a general purpose multi-paradigm, compiled language developed by David Pearce. The language combines features from the Functional and Imperative paradigms, is statically typed and supports formal specification through function preconditions, postconditions and loop invariants."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Whiley_(programming_language) comment "Whiley is a general purpose multi-paradigm, compiled language developed by David Pearce. The language combines features from the Functional and Imperative paradigms, is statically typed and supports formal specification through function preconditions, postconditions and loop invariants.".