ACL2
Computers - Programming - Languages - Lisp - Compilers and Interpreters. Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mat ...
www.cs.utexas.edu
ACL2 Version 2.7
Science - Math - Logic and Foundations - Software. A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on ...
www.cs.utexas.edu
ACL2-2002
Science - Math - Logic and Foundations - Meetings - Past Conferences. Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002. ...
www.cs.utexas.edu
top
