
Conferences in DBLP
(acl2) 2006 (conf/acl2/2006)
 Lee Pike, Mark Shields, John Matthews
A verifying core for a cryptographic language compiler. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:110 [Conf]
 David S. Hardin, Eric W. Smith, William D. Young
A robust machine code proof framework for highly secure applications. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:1120 [Conf]
 John R. Cowles, Ruben Gamboa
Unique factorization in ACL2: Euclidean domains. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:2127 [Conf]
 David Greve
Parameterized congruences in ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:2834 [Conf]
 Sol Swords, William R. Cook
Soundness of the simply typed lambda calculus in ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:3539 [Conf]
 Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds
An embedding of the ACL2 logic in HOL. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:4046 [Conf]
 Julien Schmaltz, Dominique Borrione
Towards a formal theory of on chip communications in the ACL2 logic. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:4756 [Conf]
 Jared Davis
Memories: arraylike records for ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:5760 [Conf]
 Tony Hoare
The ideal of verified software. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:6162 [Conf]
 Erik Reeber, Jun Sawada
Combining ACL2 and an automated verification tool to verify a multiplier. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:6370 [Conf]
 Ruben Gamboa, John Cowles
Implementing a costaware evaluator for ACL2 expressions. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:7180 [Conf]
 Robert S. Boyer, Warren A. Hunt Jr.
Function memoization and unique object representation for ACL2 functions. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:8189 [Conf]
 David L. Rager
Adding parallelism capabilities to ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:9094 [Conf]
 Sandip Ray
Quantification in tailrecursive function definitions. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:9598 [Conf]
 Warren A. Hunt Jr., Serita M. Nelesen
Phylogenetic trees in ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:99102 [Conf]
 Matt Kaufmann, J. Strother Moore
Double rewriting for equivalential reasoning in ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:103106 [Conf]
 Dale Vaillancourt, Rex L. Page, Matthias Felleisen
ACL2 in DrScheme. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:107116 [Conf]
 Jared Davis
Reasoning about ACL2 file input. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:117126 [Conf]
 Warren A. Hunt Jr., Erik Reeber
A SATbased procedure for verifying finite state machines in ACL2. [Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:127135 [Conf]
