Conferences in DBLP

(acl2)
2006 (conf/acl2/2006)

1. Lee Pike, Mark Shields, John Matthews
   A verifying core for a cryptographic language compiler. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:1-10 [Conf]
   
2. 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:11-20 [Conf]
   
3. John R. Cowles, Ruben Gamboa
   Unique factorization in ACL2: Euclidean domains. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:21-27 [Conf]
   
4. David Greve
   Parameterized congruences in ACL2. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:28-34 [Conf]
   
5. Sol Swords, William R. Cook
   Soundness of the simply typed lambda calculus in ACL2. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:35-39 [Conf]
   
6. 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:40-46 [Conf]
   
7. Julien Schmaltz, Dominique Borrione
   Towards a formal theory of on chip communications in the ACL2 logic. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:47-56 [Conf]
   
8. Jared Davis
   Memories: array-like records for ACL2. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:57-60 [Conf]
   
9. Tony Hoare
   The ideal of verified software. [Citation Graph (0, 0)][DBLP]
   ACL2, 2006, pp:61-62 [Conf]
   
10. Erik Reeber, Jun Sawada
    Combining ACL2 and an automated verification tool to verify a multiplier. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:63-70 [Conf]
    
11. Ruben Gamboa, John Cowles
    Implementing a cost-aware evaluator for ACL2 expressions. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:71-80 [Conf]
    
12. Robert S. Boyer, Warren A. Hunt Jr.
    Function memoization and unique object representation for ACL2 functions. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:81-89 [Conf]
    
13. David L. Rager
    Adding parallelism capabilities to ACL2. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:90-94 [Conf]
    
14. Sandip Ray
    Quantification in tail-recursive function definitions. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:95-98 [Conf]
    
15. Warren A. Hunt Jr., Serita M. Nelesen
    Phylogenetic trees in ACL2. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:99-102 [Conf]
    
16. Matt Kaufmann, J. Strother Moore
    Double rewriting for equivalential reasoning in ACL2. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:103-106 [Conf]
    
17. Dale Vaillancourt, Rex L. Page, Matthias Felleisen
    ACL2 in DrScheme. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:107-116 [Conf]
    
18. Jared Davis
    Reasoning about ACL2 file input. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:117-126 [Conf]
    
19. Warren A. Hunt Jr., Erik Reeber
    A SAT-based procedure for verifying finite state machines in ACL2. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:127-135 [Conf]