Showing 1 - 4 results of 4 for search 'Alessandro Coglio', query time: 0.04s Refine Results
  1. 1
    A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java
    by Alessandro Coglio
    Published 2018-10-01
    Get full text
    Article
  2. 2
    Second-Order Functions and Theorems in ACL2
    by Alessandro Coglio
    Published 2015-09-01
    Get full text
    Article
  3. 3
    Adding 32-bit Mode to the ACL2 Model of the x86 ISA
    by Alessandro Coglio, Shilpi Goel
    Published 2018-10-01
    Get full text
    Article
  4. 4
    A Versatile, Sound Tool for Simplifying Definitions
    by Alessandro Coglio, Matt Kaufmann, Eric W. Smith
    Published 2017-05-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search