Showing 1 - 5 results of 5 for search 'Appel, Andrew W', query time: 0.04s Refine Results
  1. 1
    Compiling with continuations /

    Compiling with continuations / by 187117 Appel, Andrew W.

    Published 2006
  2. 2
    Semantics-directed code generation /

    Semantics-directed code generation / by 187117 Appel, Andrew W.

  3. 3
    Modern compiler implementation in Java /

    Modern compiler implementation in Java / by Appel, Andrew W., 1960-, Palsberg, Jens

    Published 2002
  4. 4
    VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

    VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs by Cao, Qinxiang, Beringer, Lennart, Gruetter, Samuel, Dodds, Josiah, Appel, Andrew W

    Published 2021
    Get full text
    Article
  5. 5
    Position paper: the science of deep specification

    Position paper: the science of deep specification by Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve

    Published 2019
    Get full text
    Article

Search Tools: