Showing 1 - 2 results of 2 for search '"Programming language semantics"', זמן שאילתה: 0.67s Refine Results
  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..."
    קבל טקסט מלא
    Article
  2. 2
    Lifting Transformations

    Lifting Transformations מאת McAllester, David, Siskind, Jeffrey

    יצא לאור 2004
    נושאים:
    קבל טקסט מלא

כלי חיפוש: