Category:Leon: Difference between revisions
Content added Content deleted
(Created the leon page) |
(Turned off HoPL reference.) |
||
Line 5:
|site=http://leon.epfl.ch
|parampass=value
|tags=leon
|hopl=no
}}
{{language programming paradigm|functional}}
{{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.