( en | de | ru )

 

Disambiguation of "Moore, J Strother"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4.

, and . ACL2, volume 152 of EPTCS, page 1-7. (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicholas J Moore

Patrick Moore

Johannes Moore

Ciara Moore

Christine Moore

 

Other publications of authors with the same name

An Industrial Strength Theorem Prover for a Logic Based on Common Lisp., and . IEEE Trans. Software Eng., 23 (4): 203-213 (1997)Introducing Iteration into the Pure Lisp Theorem Prover.. IEEE Trans. Software Eng., 1 (3): 328-338 (1975)Rewriting with Equivalence Relations in ACL2., , and . J. Autom. Reason., 40 (4): 293-306 (2008)A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol.. Formal Aspects Comput., 6 (1): 60-91 (1994)Milestones from the Pure Lisp theorem prover to ACL2.. Formal Aspects Comput., 31 (6): 699-732 (2019)Iteration in ACL2., and . ACL2, volume 327 of EPTCS, page 16-31. (2020)Inductive assertions and operational semantics.. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 359-371 (2006)The apprentice challenge., and . ACM Trans. Program. Lang. Syst., 24 (3): 193-216 (2002)Reasoning about digital artifacts with ACL2.. PLPV, page 1-2. ACM, (2011)Linear and Nonlinear Arithmetic in ACL2., , and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 319-333. Springer, (2003)