Semantics of Separation−logic Typing and Higher−order Frame Rules

Semantics of Separation−logic Typing and Higher−order Frame Rules

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Birkedal, L, Torp−Smith, N, Yang, H
التنسيق: Conference item
منشور في: IEEE 2005

مواد مشابهة