Čájehuvvojit 1 - 2 oktiibuot 2 bohtosis ohcui "Programming language semantics"', ohcanáigi: 0,33s Aiddostahte ozu
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Almmustuhtton 2016-12-01
    Fáttát: “…Programming language semantics…”
    Viečča ollesdeavstta
    Artihkal
  2. 2
    Lifting Transformations

    Lifting Transformations Dahkki McAllester, David, Siskind, Jeffrey

    Almmustuhtton 2004
    Fáttát:
    Viečča ollesdeavstta

Ohcanreaiddut: