Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání '"Programming language semantics"', doba hledání: 0,47 s. Upřesnit hledání
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Vydáno 2016-12-01
    Témata: “…Programming language semantics…”
    Získat plný text
    Článek
  2. 2
    Lifting Transformations

    Lifting Transformations Autor McAllester, David, Siskind, Jeffrey

    Vydáno 2004
    Témata:
    Získat plný text

Vyhledávací nástroje: