Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/defexec

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 dag-unification/        10-Aug-2008 15:07    -   
 defpun-exec/            10-Aug-2008 15:07    -   
 find-path/              10-Aug-2008 15:07    -   
 ordinals/               10-Aug-2008 15:07    -   
 other-apps/             10-Aug-2008 15:07    -   
 reflexive/              10-Aug-2008 15:07    -   
 Makefile                17-Dec-2007 10:00  261   

The books under this directory have been created in support of a paper
``Efficient Execution in an Automated Reasoning Environment,'' by the
following authors.

David A. Greve
  Rockwell Collins Advanced Technology Center 
Matt Kaufmann
  Dept. of Computer Sciences, Univ. of Texas at Austin
Panagiotis Manolios
  College of Computing, Georgia Institute of Technology
J Strother Moore
  Dept. of Computer Sciences, Univ. of Texas at Austin
Sandip Ray
  Dept. of Computer Sciences, Univ. of Texas at Austin
Jose Luis Ruiz-Reina
  Dep. de Ciencias de la Computacion e Inteligencia Artificial, Univ. de Sevilla
Rob Sumners
  Advanced Micro Devices, Inc.
Daron Vroon
  College of Computing, Georgia Institute of Technology
Matthew Wilding
  Rockwell Collins Advanced Technology Center