Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0978849302

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A robust machine code proof framework for highly secure applications

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217978 ◽

2006 ◽

Cited By ~ 21

Author(s):

David S. Hardin ◽

Eric W. Smith ◽

William D. Young

Keyword(s):

Machine Code

Download Full-text

The ideal of verified software

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217988 ◽

2006 ◽

Cited By ~ 1

Author(s):

Tony Hoare

Keyword(s):

Verified Software ◽

The Ideal

Download Full-text

ACL2 in DrScheme

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217999 ◽

2006 ◽

Cited By ~ 7

Author(s):

Dale Vaillancourt ◽

Rex Page ◽

Matthias Felleisen

Download Full-text

Unique factorization in ACL2

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217980 ◽

2006 ◽

Cited By ~ 1

Author(s):

John R. Cowles ◽

Ruben Gamboa

Keyword(s):

Unique Factorization

Download Full-text

Soundness of the simply typed lambda calculus in ACL2

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217982 ◽

2006 ◽

Cited By ~ 2

Author(s):

Sol Swords ◽

William R. Cook

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

A verifying core for a cryptographic language compiler

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217977 ◽

2006 ◽

Cited By ~ 9

Author(s):

Lee Pike ◽

Mark Shields ◽

John Matthews

Download Full-text

Function memoization and unique object representation for ACL2 functions

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217992 ◽

2006 ◽

Cited By ~ 13

Author(s):

Robert S. Boyer ◽

Warren A. Hunt

Keyword(s):

Object Representation ◽

Unique Object

Download Full-text

Towards a formal theory of on chip communications in the ACL2 logic

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217985 ◽

2006 ◽

Cited By ~ 11

Author(s):

Julien Schmaltz ◽

Dominique Borrione

Keyword(s):

Formal Theory ◽

On Chip

Download Full-text

Phylogenetic trees in ACL2

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217996 ◽

2006 ◽

Cited By ~ 2

Author(s):

Warren A. Hunt ◽

Serita M. Nelesen

Keyword(s):

Phylogenetic Trees

Download Full-text

An embedding of the ACL2 logic in HOL

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 ◽

10.1145/1217975.1217984 ◽

2006 ◽

Cited By ~ 5

Author(s):

Michael J. C. Gordon ◽

Warren A. Hunt ◽

Matt Kaufmann ◽

James Reynolds

Download Full-text

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A robust machine code proof framework for highly secure applications

The ideal of verified software

ACL2 in DrScheme

Unique factorization in ACL2

Soundness of the simply typed lambda calculus in ACL2

A verifying core for a cryptographic language compiler

Function memoization and unique object representation for ACL2 functions

Towards a formal theory of on chip communications in the ACL2 logic

Phylogenetic trees in ACL2

An embedding of the ACL2 logic in HOL

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06
Latest Publications