Whiley (programming language)
id:
whiley-programming-language-262-14535006
title:
Whiley (programming language)
text:
Whiley is an experimental programming language that combines features from the functional and imperative paradigms, and supports formal specification through function preconditions, postconditions and loop invariants. The language uses 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 in June, 2010. Primarily developed by David Pearce
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Whiley_(programming_language)
date created:
date modified:
2024-04-12T02:53:03Z
main entity:
{"identifier":"Q23653623","url":"https://www.wikidata.org/entity/Q23653623"}
image:
fields total:
13
integrity:
13