يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Programming language semantics"', وقت الاستعلام: 0.75s تنقيح النتائج
  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
    الموضوعات:
    احصل على النص الكامل

أدوات البحث: