Treffer 1 - 4 von 4 für Suche 'Olivier Savary Belanger', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    Programming type-safe transformations using higher-order abstract syntax

    Programming type-safe transformations using higher-order abstract syntax von Olivier Savary Belanger, Monnier, Stefan, Pientka, Brigitte

    Veröffentlicht in Journal of Formalized Reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    KATch: A Fast Symbolic Verifier for NetKAT

    KATch: A Fast Symbolic Verifier for NetKAT von Moeller, Mark, Jacobs, Jules, Olivier Savary Belanger, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    KATch: A Fast Symbolic Verifier for NetKAT

    KATch: A Fast Symbolic Verifier for NetKAT von Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Programming Type-Safe Transformations Using Higher-Order Abstract Syntax

    Programming Type-Safe Transformations Using Higher-Order Abstract Syntax von Savary-Belanger, Olivier, Monnier, Stefan, Pientka, Brigitte


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: