Mostrar 1 - 2 resultats de 2 per cerca '"Programming language semantics"', hora de la petició: 0.63sec Refinar resultats
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Publicat 2016-12-01
    Matèries: “…Programming language semantics…”
    Obtenir text complet
    Article
  2. 2
    Lifting Transformations

    Lifting Transformations per McAllester, David, Siskind, Jeffrey

    Publicat 2004
    Matèries:
    Obtenir text complet

Eines de cerca: