References

  1. Bishop Brock: Defstructure for ACL2, 1997. Available at http://www.cs.utexas.edu/users/moore/publications/acl2-papers.html#Data-Structures.
  2. Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann & Panagiotis Manolios (2011): Integrating Testing and Interactive Theorem Proving. In: David Hardin & Julien Schmaltz: ACL2, EPTCS 70, pp. 4–19. Available at http://dx.doi.org/10.4204/EPTCS.70.1.
  3. Harsh Raju Chamarthi & Panagiotis Manolios (2011): Automated specification analysis using an interactive theorem prover. In: Per Bjesse & Anna Slobodová: FMCAD. FMCAD Inc., pp. 46–53. Available at http://dl.acm.org/citation.cfm?id=2157665.
  4. Jared C. Davis: Std/util Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ACL2____STD_F2UTIL.
  5. David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon & Matthew Wilding (2008): Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1), pp. 15–46. Available at http://dx.doi.org/10.1017/S0956796807006338.
  6. Matt Kaufmann, Panagiotis Manolios & J Strother Moore (2000): Computer-Aided Reasoning: An Approach. Kluwer Academic Publishers, doi:10.1007/978-1-4757-3188-0.
  7. Matt Kaufmann & J Strother Moore (2013): Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1. In: Ruben Gamboa & Jared Davis: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, Laramie, Wyoming, USA , May 30-31, 2013, Electronic Proceedings in Theoretical Computer Science 114. Open Publishing Association, pp. 5–12, doi:10.4204/EPTCS.114.1.
  8. Matt Kaufmann & Rob Sumners (2002): Efficient Rewriting of Operations on Finite Structures in ACL2. In: Third International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 '02).
  9. Panagiotis Manolios & Matt Kaufmann (2002): Adding a Total Order to ACL2. In: Matt Kaufmann & J Strother Moore: Proceedings of the ACL2 Workshop 2002.
  10. Panagiotis Manolios & Daron Vroon (2006): Termination Analysis with Calling Context Graphs. In: Thomas Ball & Robert B. Jones: CAV, Lecture Notes in Computer Science 4144. Springer, pp. 401–414. Available at http://dx.doi.org/10.1007/11817963_36.
  11. Sol Swords: FixType Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=FTY____FTY.
  12. Sol Swords & William R. Cook (2006): Soundness of the simply typed lambda calculus in ACL2. In: Panagiotis Manolios & Matthew Wilding: ACL2. ACM, pp. 35–39. Available at http://doi.acm.org/10.1145/1217975.1217982.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org