9 citations · 43 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
Adding 32-bit Mode to the ACL2 Model of the x86 ISA
Alessandro Coglio, Shilpi Goel
The ACL2 model of the x86 Instruction Set Architecture was built for the 64-bit mode of operation of the processor. This paper reports on our work to extend the model with support…
cs.PL2018★ 3 cited
A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java
Alessandro Coglio
AIJ (ACL2 In Java) is a deep embedding in Java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To Java) is a simple Ja…