Näytetään 1 - 2 yhteensä 2 tuloksesta haulle '"Programming language semantics"', hakuaika: 0,21s Tarkenna hakua
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Julkaistu 2016-12-01
    Aiheet: “…Programming language semantics…”
    Hae kokoteksti
    Artikkeli
  2. 2
    Lifting Transformations

    Lifting Transformations Tekijä McAllester, David, Siskind, Jeffrey

    Julkaistu 2004
    Aiheet:
    Hae kokoteksti

Työkalut: