Category:ACL2: Difference between revisions
Content added Content deleted
(created) |
m (Categorized according to LCT) |
||
| Line 1: | Line 1: | ||
{{stub}} |
{{stub}} |
||
{{language |
{{language |
||
|site=http://userweb.cs.utexas.edu/users/moore/acl2/ |
|site=http://userweb.cs.utexas.edu/users/moore/acl2/ |
||
|strength=strong |
|||
}} |
|||
|safety=unsafe |
|||
|checking=dynamic |
|||
|gc=yes |
|||
|LCT=yes}} |
|||
{{language programming paradigm|Functional}} |
|||
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. |
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. |
||
Revision as of 16:23, 30 April 2012
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| Garbage collected: | Yes |
|---|---|
| Type safety: | Unsafe |
| Type strength: | Strong |
| Type checking: | Dynamic |
| See Also: |
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- ACL2 Implementations (empty)
- ACL2 User (1 P)
Pages in category "ACL2"
The following 96 pages are in this category, out of 96 total.
A
E
F
H
L
P
R
S
- Search a list
- Shell one-liner
- Sierpinski triangle
- Sieve of Eratosthenes
- Singly-linked list/Element definition
- Singly-linked list/Element insertion
- Singly-linked list/Traversal
- Sort an array of composite structures
- Sorting algorithms/Bubble sort
- Sorting algorithms/Insertion sort
- Sorting algorithms/Merge sort
- Sorting algorithms/Quicksort
- Stem-and-leaf plot
- Substring/Top and tail
- Sum and product of an array
- Sum of a series
- Sum of squares