Mostra 1 - 2 risultati di 2 ricerca '"Programming language semantics"', tempo di risposta: 0,56s Raffina i risultati
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data di Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    Pubblicazione 2016-12-01
    Soggetti: “...Programming language semantics...”
    Testo
    Articolo
  2. 2
    Lifting Transformations

    Lifting Transformations di McAllester, David, Siskind, Jeffrey

    Pubblicazione 2004
    Soggetti:
    Testo

Strumenti per la ricerca: