Ցուցադրվում են 1 - 2 արդյունքները 2 այս փնտրման համար '"Programming language semantics"', հարցման ժամանակը: 0.10s Հստակեցնել արդյունքները
  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
    Խորագրեր:
    Ստացեք ամբողջական տեքստը

Որոնման գործիքներ: