Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara '"Programming language semantics"', Bilaketaren denbora: 1,22s Findu emaitzak
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Argitaratua 2016-12-01
    Gaiak: “...Programming language semantics...”
    Testu osoa
    Artikulua
  2. 2
    Lifting Transformations

    Lifting Transformations nork McAllester, David, Siskind, Jeffrey

    Argitaratua 2004
    Gaiak:
    Testu osoa

Bilaketa egiteko lanabesak: