Category:ACL2: Difference between revisions

Official website
Garbage collected:	Yes
Type safety:	Unsafe
Type strength:	Strong;
Type checking:	Dynamic
See Also:	ACL2 on the HOPL; ACL2 compared to other languages;

Content added Content deleted

Inline

Latest revision as of 19:37, 6 January 2019

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

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 96 pages are in this category, out of 96 total.

1

100 doors

9

99 bottles of beer

A

B

C

D

Dot product

E

F

G

H

I

K

Knuth shuffle

L

M

N

Non-decimal radices/Convert

O

P

Q

R

S

T

U

Unicode variable names

V

Variadic function

@@ Line 8: / Line 8: @@
 |LCT=yes}}
 {{language programming paradigm|Functional}}
+{{implementation|Lisp}}
-ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
+[http://www.cs.utexas.edu/users/moore/acl2/ 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".