Whiley

Whiley is a general purpose multi-paradigm, compiled language developed by David Pearce. The language combines features from the Functional and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2016
012320032016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Arrays are a fundamental mechanism for developing and reasoning about programs. Using them, one can easily encode a range of… (More)
  • figure 1
  • figure 2
Is this relevant?
2017
2017
Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But efficient implementation… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2016
2016
The Whiley compiler can generate naive C code, but the code is inefficient because it uses infinite integers and dynamic array… (More)
  • table 1
  • table 2
  • table 4
  • figure 1
  • figure 2
Is this relevant?
2015
2015
The Whiley Rewrite Language (WyRL) is a standalone tool providing a domain-specific declarative rewrite language and code… (More)
  • figure 1
  • figure 2
Is this relevant?
2015
2015
Article history: Received 30 April 2014 Received in revised form 27 September 2015 Accepted 29 September 2015 Available online… (More)
  • table 1
Is this relevant?
2015
2015
Programs written in the Whiley programming language are verified at compile-time to ensure all function specifications are met… (More)
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
2013
2013
An ongoing challenge for computer science is the development of a tool which automatically verifies programs meet their… (More)
  • figure 1
Is this relevant?
2013
2013
An ongoing challenge for computer science is the development of a tool which automatically verifies that programs meet their… (More)
Is this relevant?
2013
2013
Flow typing offers an alternative to traditional Hindley-Milner type inference. A key distinction is that variables may have… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Modern statically typed languages require variables to be declared with a single static type, and that subtyping relationships… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?