Treffer 1 - 4 von 4 für Suche 'Jamner, Dustin', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    Graduality and parametricity: together again for the first time

    Graduality and parametricity: together again for the first time von New, Max S., Jamner, Dustin, Ahmed, Amal


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Theorems for free for free: parametricity, with and without types

    Theorems for free for free: parametricity, with and without types von Ahmed, Amal, Jamner, Dustin, Siek, Jeremy G., Wadler, Philip


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Foundational Integration Verification of a Cryptographic Server

    Foundational Integration Verification of a Cryptographic Server von Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using Binary Analysis Frameworks: The Case for BAP and angr

    Using Binary Analysis Frameworks: The Case for BAP and angr von Casinghino, Chris, Paasch, J. T., Roux, Cody, Altidor, John, Dixon, Michael, Jamner, Dustin


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: