Abstract Interpretation‚ Logical Relations and Kan Extensions
المؤلف الرئيسي: | Abramsky, S |
---|---|
التنسيق: | Conference item |
منشور في: |
1990
|
مواد مشابهة
-
Observational Logic and Process Semantics (Abstract)
حسب: Abramsky, S
منشور في: (1989) -
Introduction to Abstract Interpretation
حسب: Abramsky, S, وآخرون
منشور في: (1987) -
Computational Interpretations of Linear logic
حسب: Abramsky, S
منشور في: (1993) -
Logical abstract interpretation
حسب: D'Silva, V, وآخرون
منشور في: (2013) -
Kan extensions are partial colimits
حسب: Perrone, P, وآخرون
منشور في: (2022)