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)