Visas 1 - 2 av 2 resultat för sökning '"Programming language semantics"', Sökningstid: 0,45s Förfina resultatet
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Publicerad 2016-12-01
    Ämnen: “…Programming language semantics…”
    Hämta fulltext
    Artikel
  2. 2
    Lifting Transformations

    Lifting Transformations av McAllester, David, Siskind, Jeffrey

    Publicerad 2004
    Ämnen:
    Hämta fulltext

Sökverktyg: