Category:Twelf: Difference between revisions
Content added Content deleted
m (Language stub) |
m (Filling out language template) |
||
| Line 1: | Line 1: | ||
{{language |
{{language|Twelf |
||
|site=http://twelf.plparty.org/wiki/Main_Page |
|||
}} |
|||
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML. |
|||
{{stub}} |
|||
Latest revision as of 02:53, 5 December 2010
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| See Also: |
|
|---|
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system, and a type safety proof for Standard ML.
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Twelf examples needing attention (empty)
- Twelf Implementations (empty)
- Twelf User (empty)