ACL2 - PDFSEARCH.IO - Document Search Engine

ACL2
Results: 65

#	Item
61	The Origins of the BitC Programming Language† SRL Technical Report[removed]Warning: Work in Progress Add to Reading List Source URL: www.bitc-lang.org Language: English - Date: 2014-01-16 10:56:00 Functional languages Procedural programming languages Type theory Lisp programming language Functional programming BitC Coyotos ACL2 Type system Software engineering Computing Computer programming
62	GNU/Linux AI & Alife HOWTO GNU/Linux AI & Alife HOWTO Add to Reading List Source URL: www.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
63	Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2013-10-16 10:39:33 Logic in computer science Formal methods Automated theorem proving Type theory Functional languages Proof assistant Twelf Coq ACL2 Theoretical computer science Mathematics Software engineering
64	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
65	PDF Document Add to Reading List Source URL: ttvsi.gilith.com Language: English - Date: 2009-09-28 15:59:09 Applied mathematics Formal methods Automated theorem proving ACL2 Lisp programming language Formal verification Michael J. C. Gordon HOL Mathematical logic Theoretical computer science Mathematics Logic in computer science