Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Programming language semantics"', χρόνος αναζήτησης: 1,09δλ Περιορισμός αποτελεσμάτων
  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…”
    Λήψη πλήρους κειμένου
    Άρθρο
  2. 2
    Lifting Transformations

    Lifting Transformations ανά McAllester, David, Siskind, Jeffrey

    Έκδοση 2004
    Θέματα:
    Λήψη πλήρους κειμένου

Εργαλεία αναζήτησης: