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: |
Your Help Needed
If you know ACL2, please write code for some of the tasks not implemented in ACL2.
If you know ACL2, please write code for some of the tasks not implemented in ACL2.
ACL2 is an implementation of Lisp.
Other implementations of Lisp.
From the University of Texas at Austin, late 2018:
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp".
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "ACL2"
The following 97 pages are in this category, out of 97 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
