File: README

package info (click to toggle)
acl2 7.2dfsg-3
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 198,968 kB
  • ctags: 182,300
  • sloc: lisp: 2,415,261; ansic: 5,675; perl: 5,577; xml: 3,576; sh: 3,255; cpp: 2,835; makefile: 2,440; ruby: 2,402; python: 778; ml: 763; yacc: 709; csh: 355; php: 171; lex: 162; tcl: 44; java: 24; asm: 23; haskell: 17
file content (22 lines) | stat: -rw-r--r-- 781 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
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