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)