# Category:ACL2

**ACL2**

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: |

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** **C**omputational **L**ogic for **A**pplicative **C**ommon **L**isp".

## 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