Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Whiley_(programming_language)> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Whiley_(programming_language) abstract "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. The language is also notable for the use of flow-sensitive typing, also known as \"flow typing\".The Whiley project began in 2009 in response to the \"Verifying Compiler Grand Challenge\" put forward by Tony Hoare in 2003. The first public release of Whiley was made in June, 2010.Although Whiley is primarily developed by David Pearce, it is an open source project that has attracted contributions from a small community. The system has been used for a number of student research projects and also in teaching undergraduate classes. The project was also supported between 2012 and 2014 by the Royal Society of New Zealand's Marsden Fund.The Whiley compiler currently generates code for the Java virtual machine and can thus inter-operate with Java and other JVM based languages.".
- Whiley_(programming_language) influencedBy Java_(programming_language).
- Whiley_(programming_language) influencedBy ML_(programming_language).
- Whiley_(programming_language) latestReleaseVersion "0.3.38".
- Whiley_(programming_language) license Berkeley_Software_Distribution.
- Whiley_(programming_language) wikiPageExternalLink whiley.org.
- Whiley_(programming_language) wikiPageID "48747326".
- Whiley_(programming_language) wikiPageLength "12479".
- Whiley_(programming_language) wikiPageOutDegree "58".
- Whiley_(programming_language) wikiPageRevisionID "707341191".
- Whiley_(programming_language) wikiPageWikiLink Berkeley_Software_Distribution.
- Whiley_(programming_language) wikiPageWikiLink C_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink C_Sharp_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Category:Experimental_programming_languages.
- Whiley_(programming_language) wikiPageWikiLink Category:Statically_typed_programming_languages.
- Whiley_(programming_language) wikiPageWikiLink Ceylon_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Class_invariant.
- Whiley_(programming_language) wikiPageWikiLink Compiled_language.
- Whiley_(programming_language) wikiPageWikiLink Java.
- Whiley_(programming_language) wikiPageWikiLink Formal_specification.
- Whiley_(programming_language) wikiPageWikiLink Frama-C.
- Whiley_(programming_language) wikiPageWikiLink Functional_programming.
- Whiley_(programming_language) wikiPageWikiLink Go_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Immutable_object.
- Whiley_(programming_language) wikiPageWikiLink Imperative_programming.
- Whiley_(programming_language) wikiPageWikiLink Java_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Java_Modeling_Language.
- Whiley_(programming_language) wikiPageWikiLink Java_virtual_machine.
- Whiley_(programming_language) wikiPageWikiLink Loop_invariant.
- Whiley_(programming_language) wikiPageWikiLink ML_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Modula-3.
- Whiley_(programming_language) wikiPageWikiLink Nominal_type_system.
- Whiley_(programming_language) wikiPageWikiLink Postcondition.
- Whiley_(programming_language) wikiPageWikiLink Precondition.
- Whiley_(programming_language) wikiPageWikiLink Programming_paradigm.
- Whiley_(programming_language) wikiPageWikiLink Pure_function.
- Whiley_(programming_language) wikiPageWikiLink Python_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Racket_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink SPARK_(programming_language).
- Whiley_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- Whiley_(programming_language) wikiPageWikiLink Software_bug.
- Whiley_(programming_language) wikiPageWikiLink Software_quality.
- Whiley_(programming_language) wikiPageWikiLink Spec_Sharp.
- Whiley_(programming_language) wikiPageWikiLink Structural_type_system.
- Whiley_(programming_language) wikiPageWikiLink Tagged_union.
- Whiley_(programming_language) wikiPageWikiLink Tony_Hoare.
- Whiley_(programming_language) wikiPageWikiLink Twos_complement.
- Whiley_(programming_language) wikiPageWikiLink TypeScript.
- Whiley_(programming_language) wikiPageWikiLink Type_system.
- Whiley_(programming_language) wikiPageWikiLink Union_type.
- Whiley_(programming_language) wikiPageWikiLinkText "Whiley".
- Whiley_(programming_language) author "Tony Hoare".
- Whiley_(programming_language) designer "David J. Pearce".
- Whiley_(programming_language) influencedBy Java_(programming_language).
- Whiley_(programming_language) influencedBy ML_(programming_language).
- Whiley_(programming_language) latestReleaseVersion "0.3".
- Whiley_(programming_language) license Berkeley_Software_Distribution.
- Whiley_(programming_language) name "Whiley".
- Whiley_(programming_language) paradigm Functional_programming.
- Whiley_(programming_language) paradigm Imperative_programming.
- Whiley_(programming_language) released "2009".
- Whiley_(programming_language) text "A verifying compiler uses mathematical and logical reasoning to check the correctness of the programs that it compiles.".
- Whiley_(programming_language) typing Type_system.
- Whiley_(programming_language) website whiley.org.
- Whiley_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Whiley_(programming_language) wikiPageUsesTemplate Template:Quote.
- Whiley_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Whiley_(programming_language) wikiPageUsesTemplate Template:Start_date_and_age.
- Whiley_(programming_language) subject Category:Experimental_programming_languages.
- Whiley_(programming_language) subject Category:Statically_typed_programming_languages.
- Whiley_(programming_language) hypernym Language.
- Whiley_(programming_language) type Language.
- Whiley_(programming_language) type ProgrammingLanguage.
- Whiley_(programming_language) type Language.
- Whiley_(programming_language) type Thing.
- Whiley_(programming_language) type Q315.
- Whiley_(programming_language) type Q34770.
- Whiley_(programming_language) type Q9143.
- 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.".
- Whiley_(programming_language) label "Whiley (programming language)".
- Whiley_(programming_language) wasDerivedFrom Whiley_(programming_language)?oldid=707341191.
- Whiley_(programming_language) homepage whiley.org.
- Whiley_(programming_language) isPrimaryTopicOf Whiley_(programming_language).
- Whiley_(programming_language) name "Whiley".
- Whiley_(programming_language) page whiley.org.