Показ 1 - 2 результатів із 2 для пошуку '"Programming language semantics"', час виконання запиту: 0.52сек. Уточнити результати
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data за авторством Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    Опубліковано 2016-12-01
    Предмети: “...Programming language semantics...”
    Отримати повний текст
    Стаття
  2. 2
    Lifting Transformations

    Lifting Transformations за авторством McAllester, David, Siskind, Jeffrey

    Опубліковано 2004
    Предмети:
    Отримати повний текст

Інструменти для пошуку: