Sciweavers

Share
PADL
2009
Springer

Toward a Practical Module System for ACL2

12 years 1 months ago
Toward a Practical Module System for ACL2
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being used for large programs, ACL2 forces programmers to rely on manually maintained protocols for managing modularity. In this paper, we present a prototype of Modular ACL2. The system extends ACL2 with a simple, but pragmatic func
Carl Eastlund, Matthias Felleisen
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where PADL
Authors Carl Eastlund, Matthias Felleisen
Comments (0)
books