Showing 1 - 2 results of 2 for search '"Programming language semantics"', query time: 0.86s Refine Results
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Published 2016-12-01
    Subjects: “…Programming language semantics…”
    Get full text
    Article
  2. 2
    Lifting Transformations

    Lifting Transformations by McAllester, David, Siskind, Jeffrey

    Published 2004
    Subjects:
    Get full text

Search Tools: