Showing 1 - 2 results of 2 for search '"Programming language semantics"', tempo de consulta: 0.48s Limitar resultados
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Publicado 2016-12-01
    Subjects: “...Programming language semantics...”
    Ligazón do recurso
    Artigo
  2. 2
    Lifting Transformations

    Lifting Transformations por McAllester, David, Siskind, Jeffrey

    Publicado 2004
    Subjects:
    Ligazón do recurso

Ferramentas de procura: