Abstract Interpretation‚ Logical Relations and Kan Extensions
Auteur principal: | Abramsky, S |
---|---|
Format: | Conference item |
Publié: |
1990
|
Documents similaires
-
Observational Logic and Process Semantics (Abstract)
par: Abramsky, S
Publié: (1989) -
Introduction to Abstract Interpretation
par: Abramsky, S, et autres
Publié: (1987) -
Computational Interpretations of Linear logic
par: Abramsky, S
Publié: (1993) -
Logical abstract interpretation
par: D'Silva, V, et autres
Publié: (2013) -
Kan extensions are partial colimits
par: Perrone, P, et autres
Publié: (2022)