Category:Leon
From Rosetta Code
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 |
|
Your Help Needed
If you know Leon, please write code for some of the tasks not implemented in Leon.
If you know Leon, please write code for some of the tasks not implemented in 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.