Category:Leon: Difference between revisions
Content added Content deleted
(Created the leon page) |
(Turned off HoPL reference.) |
||
Line 5: | Line 5: | ||
|site=http://leon.epfl.ch |
|site=http://leon.epfl.ch |
||
|parampass=value |
|parampass=value |
||
|tags=leon |
|tags=leon |
||
|hopl=no |
|||
}} |
|||
{{language programming paradigm|functional}} |
{{language programming paradigm|functional}} |
||
{{language programming paradigm|object-oriented}} |
{{language programming paradigm|object-oriented}} |
Latest revision as of 16:26, 16 May 2021
Leon
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Leon.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
Garbage collected: | Yes |
---|---|
Parameter passing methods: | By value |
Type strength: | Strong |
Type checking: | Static |
Lang tag(s): | leon |
|
The Leon system aims to help developers build verified Scala software. It encourages using a small set of core Scala features, but provides unique automation functionality. In particular, Leon can
- verify statically that your program confirms to a given specification and that it cannot crash at run-time
- repair a program for you to ensure that the above holds
- automatically execute and synthesize working functions from partial input/output specifications and test cases.
This category currently contains no pages or media.