Search Results - Lucas Franceschino

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Verified Functional Programming of an Abstract Interpreter

    Verified Functional Programming of an Abstract Interpreter by Lucas Franceschino, Pichardie, David, Talpin, Jean-Pierre

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Charon: An Analysis Framework for Rust

    Charon: An Analysis Framework for Rust by Ho, Son, Boisseau, Guillaume, Lucas Franceschino, Prak, Yoann, Fromherz, Aymeric, Protzenko, Jonathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    LIO: Low Level Information Flow Control in F

    LIO: Low Level Information Flow Control in F by Jean-Joseph, Marty, Lucas Franceschino, Talpin, Jean-Pierre, Vazou, Niki

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: