H ? « ‹ ← → › »

Language peer sets for ACL2:
United States↑
United States/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1994↑
Specialised Languages/us ↑

ACL2 (6972/acl007)

 ACL2 logo

Theorem proving lisp 

alternate simple view
Country: United States
Designed 1994
Sammet category: Specialised Languages

for A Computational Logic Language

Moore and Kauffman, based on Nqthm
Related languages
Nqthm → ACL2   Evolution of
References:
  • Kauffmann and Moore (1994) Matt Kaufmann and J Moore, Design Goals of ACL2, CLI Technical Report 101, Computational Logic, Inc., 1717 West Sixth Street, Suite 290, Austin, TX 78703, 1994. Abstract
  • Bishop Brock, Matt Kaufmann and J Moore, (1996) Bishop Brock, Matt Kaufmann and J Moore, "ACL2 Theorems about Commercial Microprocessors" in M. Srivas and A. Camilleri (eds.) Proceedings of Formal Methods in Computer-Aided Design (FMCAD'96), Springer-Verlag, pp. 275-293, 1996 Abstract
  • Kaufmann, Matt and Moore, J (1997) Kaufmann, Matt and Moore, J "An Industrial Strength Theorem Prover for a Logic Based on Common Lisp" Abstract
          in (1997) IEEE Transactions on Software Engineering 23(4), April 1997
  • Matt Kaufmann, Panagiotis Manolios, and J Strother (2000) Matt Kaufmann, Panagiotis Manolios, and J Strother Moore (eds.), "Computer-Aided Reasoning: ACL2 Case Studies" Kluwer Academic Publishers, June, 2000
          in (1997) IEEE Transactions on Software Engineering 23(4), April 1997
  • Matt Kaufmann, Panagiotis Manolios, and J Strother (2000) Matt Kaufmann, Panagiotis Manolios, and J Strother Moore, "Computer-Aided Reasoning: An Approach" Kluwer Academic Publishers, June, 2000 Online copy
          in (1997) IEEE Transactions on Software Engineering 23(4), April 1997
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder