IEEE - Institute of Electrical and Electronics Engineers, Inc. - ACL2: an industrial strength version of Nqthm

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Kaufmann, M. ; Strother Moore, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 23 - 34
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507872
Regular:

ACL2 ("A Computational Logic for Applicative Common Lisp") is a reimplemented extended version of Boyer and Moore's (1979, 1988) Nqthm and Kaufmann's (1988, 1990, 1992) Pc-Nqthm, intended for... View More

Advertisement