Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

ACL2

ACL2 - Programming language

< >

ACL2, aka A Computational Logic for Applicative Common Lisp, is a programming language created in 1990 by Robert S. Boyer and J Strother Moore.

#1026on PLDB 33Years Old 195Users
2Books 0Papers

ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp. Read more on Wikipedia...


Language features

Feature Supported Token Example
Comments

Books about ACL2 on goodreads

title author year reviews ratings rating
Computer-Aided Reasoning: Acl2 Case Studies Matt Kaufmann 2000 0 1 4.00

Books about ACL2 from ISBNdb

title authors year publisher
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4) 2000 Springer
lispyscript.html · acl2.html · object-rexx.html

View source

- Build the next great programming language · Search · Day 214 · About · Blog · Acknowledgements · Traffic · Traffic Today · GitHub · feedback@pldb.com