ACL2 - PDFSEARCH.IO - Document Search Engine

ACL2
Results: 65

#	Item
41	Function Memoization and Unique Object Representation for ACL2 Functions Robert S. Boyer Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-02-04 12:18:09 Lisp programming language ACL2 Memoization Lisp Dynamic programming Cons Nqthm Hash consing Defun Computing Computer programming Software engineering
42	GNU/Linux AI & Alife HOWTO GNU/Linux AI & Alife HOWTO Table of Contents GNU/Linux AI & Alife HOWTO......................................................................................................................1 Add to Reading List Source URL: www.tldp.org Language: English - Date: 2013-06-05 19:27:40 Lisp programming language Cross-platform software Functional languages Artificial intelligence ACL2 Linux Common Lisp Lisp Artificial life Computing Software engineering Computer programming
43	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
44	11+ Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributors Add to Reading List Source URL: www.galois.com Language: English - Date: 2011-11-10 23:38:22 Group theory Formal verification Logic in computer science Évariste Galois Formal methods Isabelle ACL2 Number Programming language Mathematics Theoretical computer science Applied mathematics
45	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming
46	GNU/Linux AI & Alife HOWTO GNU/Linux AI & Alife HOWTO Table of Contents GNU/Linux AI & Alife HOWTO......................................................................................................................1 Add to Reading List Source URL: ibiblio.org Language: English - Date: 2013-06-05 19:27:40 Lisp programming language Cross-platform software Functional languages Artificial intelligence ACL2 Linux Common Lisp Lisp Artificial life Computing Software engineering Computer programming
47	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:57 Mathematical logic Formal methods Logical syntax Logical truth ACL2 Automated theorem proving Mathematical proof Theorem Automated proof checking Logic Mathematics Lisp programming language
48	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-08 21:19:27 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
49	A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-23 22:30:57 Lisp programming language Functional languages Formal methods Logic in computer science Isabelle ACL2 Mathematical logic Nqthm Common Lisp Computing Software engineering Computer programming
50	Adding a Computation Rule Jared Davis Recorded June, 2006 Outline Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:56 Subroutines Lisp programming language Computability theory Defun Recursion Theoretical computer science ACL2 Main function Function Computer programming Software engineering Computing