Category:Leon
From Rosetta Code
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 |
| See Also: |
|
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.
