يعرض 1 - 10 نتائج من 57 نتيجة بحث عن '"Rizkallah C"', وقت الاستعلام: 1.86s تنقيح النتائج
  1. 1
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  2. 2
    مورد إلكتروني
    Overcoming Restraint: Composing Verification of Foreign Functions with Cogent

    المؤلفون: Popescu, A, Zdancewic, S, Cheung, L, O'Connor, L, Rizkallah, C

    المصدر: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

    مصطلحات الفهرس: Conference Paper

    URL: http://hdl.handle.net/11343/310178

    أضف إلى المفضلة
  3. 3
    مورد إلكتروني
    Cogent: uniqueness types and certifying compilation

    المؤلفون: O'connor, L, Chen, Z, Rizkallah, C, Jackson, V, Amani, S, Klein, G, Murray, T, Sewell, T, Keller, G

    مصطلحات الفهرس: Journal Article

    URL: http://hdl.handle.net/11343/302525

    أضف إلى المفضلة
  4. 4
    مؤتمر

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  5. 5
    مؤتمر

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  8. 8
    مورد إلكتروني
    A framework for the automatic formal verification of refinement from COGENT to C

    عناروين إضافية: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    المؤلفون: Rizkallah, C, Lim, J, Nagashima, Y, Sewell, T, Chen, Z, O Connor, L, Murray, T, Keller, G, Klein, G

    مصطلحات الفهرس: text, Conference Paper

    URL: http://handle.unsw.edu.au/1959.4/unsworks_43146
    https://orcid.org/0000-0003-4785-2836
    https://orcid.org/0000-0003-1442-5387
    https://orcid.org/0000-0003-4785-2836
    https://orcid.org/0000-0003-1442-5387
    9807
    7th International Conference, ITP 2016

    أضف إلى المفضلة
  9. 9
    مورد إلكتروني
    COGENT: Verifying high-assurance file system implementations

    عناروين إضافية: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

    المؤلفون: Amani, S, Hixon, A, Chen, Z, Rizkallah, C, Chubb, P, O'Connor, L, Beeren, J, Nagashima, Y, Lim, J, Sewell, T, Tuong, J, Keller, G, Murray, T, Klein, G, Heiser, G

    مصطلحات الفهرس: text, Conference Paper

    URL: http://handle.unsw.edu.au/1959.4/unsworks_43145
    https://orcid.org/0000-0003-4785-2836
    https://orcid.org/0000-0003-2765-4269
    https://orcid.org/0000-0003-1442-5387
    https://orcid.org/0000-0002-7069-0831
    https://orcid.org/0000-0003-4785-2836
    https://orcid.org/0000-0003-2765-4269
    https://orcid.org/0000-0003-1442-5387
    https://orcid.org/0000-0002-7069-0831
    02-06-April-2016
    21st International Conference on Architectural Support for Programming Languages and Operating Systems

    أضف إلى المفضلة
  10. 10
    مورد إلكتروني
    Refinement Through Restraint: Bringing down the cost of Verification

    عناروين إضافية: International Conference on Functional Programming

    المؤلفون: O'Connor, L, Chen, Z, Rizkallah, C, Amani, S, Lim, J, Murray, T, Nagashima, Y, Sewell, T, Klein, G

    مصطلحات الفهرس: verification, semantics, linear types, programming languages, file systems, isabelle/hol, text, Conference Paper

    URL: http://handle.unsw.edu.au/1959.4/unsworks_43148
    https://orcid.org/0000-0003-2765-4269
    https://orcid.org/0000-0003-4785-2836
    https://orcid.org/0000-0003-2765-4269
    https://orcid.org/0000-0003-4785-2836
    International Conference on Functional Programming

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء