Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications

Front Cover
Lulu.com, 2006 - Automatic theorem proving - 135 pages
0 Reviews
Reviews aren't verified, but Google checks for and removes fake content when it's identified
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

book_ 13eps
1
book_ 14eps
2
book_ 15eps
3
book_ 16eps
4
book_ 17eps
5
book_ 18eps
6
book_ 19eps
7
book_ 20eps
8
book_ 82eps
70
book_ 83eps
71
book_ 84eps
72
book_ 85eps
73
book_ 86eps
74
book_ 87eps
75
book_ 88eps
76
book_ 89eps
77

book_ 21eps
9
book_ 22eps
10
book_ 23eps
11
book_ 24eps
12
book_ 25eps
13
book_ 26eps
14
book_ 27eps
15
book_ 28eps
16
book_ 29eps
17
book_ 30eps
18
book_ 31eps
19
book_ 32eps
20
book_ 33eps
21
book_ 34eps
22
book_ 35eps
23
book_ 36eps
24
book_ 37eps
25
book_ 38eps
26
book_ 39eps
27
book_ 40eps
28
book_ 41eps
29
book_ 42eps
30
book_ 43eps
31
book_ 44eps
32
book_ 45eps
33
book_ 46eps
34
book_ 47eps
35
book_ 48eps
36
book_ 49eps
37
book_ 50eps
38
book_ 51eps
39
book_ 52eps
40
book_ 53eps
41
book_ 54eps
42
book_ 55eps
43
book_ 56eps
44
book_ 57eps
45
book_ 58eps
46
book_ 59eps
47
book_ 60eps
48
book_ 61eps
49
book_ 62eps
50
book_ 63eps
51
book_ 64eps
52
book_ 65eps
53
book_ 66eps
54
book_ 67eps
55
book_ 68eps
56
book_ 69eps
57
book_ 70eps
58
book_ 71eps
59
book_ 72eps
60
book_ 73eps
61
book_ 74eps
62
book_ 75eps
63
book_ 76eps
64
book_ 77eps
65
book_ 78eps
66
book_ 79eps
67
book_ 80eps
68
book_ 81eps
69
book_ 90eps
78
book_ 91eps
79
book_ 92eps
80
book_ 93eps
81
book_ 94eps
82
book_ 95eps
83
book_ 96eps
84
book_ 97eps
85
book_ 98eps
86
book_ 99eps
87
book_100eps
88
book_101eps
89
book_102eps
90
book_103eps
91
book_104eps
92
book_105eps
93
book_106eps
94
book_107eps
95
book_108eps
96
book_109eps
97
book_110eps
98
book_111eps
99
book_112eps
100
book_113eps
101
book_114eps
102
book_115eps
103
book_116eps
104
book_117eps
105
book_118eps
106
book_119eps
107
book_120eps
108
book_121eps
109
book_122eps
110
book_123eps
111
book_124eps
112
book_125eps
113
book_126eps
114
book_127eps
115
book_128eps
116
book_129eps
117
book_130eps
118
book_131eps
119
book_132eps
120
book_133eps
121
book_134eps
122
book_135eps
123
book_136eps
124
book_137eps
125
book_138eps
126
book_139eps
127
book_140eps
128
book_141eps
129
book_142eps
130
book_143eps
131
book_144eps
132
book_145eps
133
book_146eps
134
book_147eps
135
book_148eps
136
Copyright

Common terms and phrases

AAMP7G ACL2 logic ACL2 theorem prover acl2Define algorithm application argument automated bfix Boolean Booth encoding byte clause Common Lisp Computer congruence rules cons consp context correctness corresponding cutpoint declare xargs guard defeval defined definition defthm defun double-rewrite DRACULA DRSCHEME encoding equal equiv equivalence relation Euclidean domain evaluation evl-step example execution expression factor formal formula func GeNoC HONS implementation implies input integerp integers language lemmas macro MAKE-LIST-OF-NUMBERS Manolios Matt Kaufmann memoization memtree natp node NodeSet Nqthm operations output parameterized partition PLT Scheme predicate primitive PROOF OBLIGATION properties prove rb-left recursive red-black tree requires result rewrite rules Rockwell Collins Routing Scheduling set-equiv SEXP simplify SixthSense specific stream Strother Moore symbol tail-recursive the-fixnum theory tion tree uandn uchar Unicode valid variable vectors verifying compiler VHDL

Bibliographic information

QR code for Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
TitleProceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
ACM Digital Library
Volume 205 of ACM conference proceedings series
ACM international conference proceeding series
ContributorsPanagiotis Manolios, Matthew Wilding, ACM Digital Library
PublisherLulu.com, 2006
ISBN0978849302, 9780978849306
Length135 pages
  
Export CitationBiBTeX EndNote RefMan