Treffer 1 - 2 von 2 für Suche '"Programming language semantics"', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

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

    Veröffentlicht 2016-12-01
    Schlagworte: “… Programming language semantics …”
    Volltext
    Artikel
  2. 2
    Lifting Transformations

    Lifting Transformations von McAllester, David, Siskind, Jeffrey

    Veröffentlicht 2004
    Schlagworte:
    Volltext

Suchwerkzeuge: