Abstract Interpretation‚ Logical Relations and Kan Extensions
Autore principale: | Abramsky, S |
---|---|
Natura: | Conference item |
Pubblicazione: |
1990
|
Documenti analoghi
Documenti analoghi
-
Observational Logic and Process Semantics (Abstract)
di: Abramsky, S
Pubblicazione: (1989) -
Introduction to Abstract Interpretation
di: Abramsky, S, et al.
Pubblicazione: (1987) -
Computational Interpretations of Linear logic
di: Abramsky, S
Pubblicazione: (1993) -
Logical abstract interpretation
di: D'Silva, V, et al.
Pubblicazione: (2013) -
Kan extensions are partial colimits
di: Perrone, P, et al.
Pubblicazione: (2022)