|
A Computational Logic |
| Software Name | Infix ACL2 |
| Summary |
ACL2 is a programming language and logic in which you can model computer systems
as well as a tool to help you prove properties of those models. This infix version supports a more conventional syntax that standard ACL2, as well as providing some help with simple type definitions. At the moment the infix version only supports a subset of the ACL2 input syntax. It can load libraries that were developed either in standard ACL2 or infix ACL2. |
| Point of Contact: |
Michael K. Smith COMPUTATIONAL LOGIC, INC. Austin, TX |
| Technology Description | Educational Description : NA | Platform(s) | Architecture compliance |
| Supporting software dependencies | Availability | Support | User Experiences |