Mostrando 1 - 2 Resultados de 2 Para Buscar '"Programming language semantics"', tiempo de consulta: 0.82s 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
    Materias: “…Programming language semantics…”
    Enlace del recurso
    Artículo
  2. 2
    Lifting Transformations

    Lifting Transformations por McAllester, David, Siskind, Jeffrey

    Publicado 2004
    Materias:
    Enlace del recurso

Herramientas de búsqueda: