صورة الغلاف

Program logics for certified compilers.

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Appel, Andrew W., 1960- (مؤلف), Dockins, Robert (مؤلف), Hobor, Aquinas (مؤلف), Beringer, Lennart (مؤلف), Dodds, Josiah (مؤلف), Stewart, Gordon (مؤلف), Blazy, Sandrine (مؤلف), Leroy, Xavier (مؤلف)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: New York, NY., USA: Cambridge University Press, 2014.
الموضوعات:
Software > Verificación
Lógica, simbólica y matemática
Compiladores (programas informáticos)
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
جدول المحتويات:
  • Generic separation logic
  • Hoare logic
  • Separation logic
  • Soundness of Hoare logic
  • Mechanized semantic library
  • Separation algebras
  • Operators on separation algebras
  • First-order separation logic
  • A little case study
  • Covariant recursive predicates
  • Share accounting
  • Higher order separation logic
  • Separation logic as a logic
  • From separation algebras to separation logic
  • Simplification by rewriting
  • Introduction to step-indexing
  • Predicate implication and subtyping
  • General recursive predicates
  • Case study: separation logic with first-class functions.

مواد مشابهة