Abstract Interpretation‚ Logical Relations and Kan Extensions
1. autor: | Abramsky, S |
---|---|
Format: | Conference item |
Wydane: |
1990
|
Podobne zapisy
-
Observational Logic and Process Semantics (Abstract)
od: Abramsky, S
Wydane: (1989) -
Introduction to Abstract Interpretation
od: Abramsky, S, i wsp.
Wydane: (1987) -
Computational Interpretations of Linear logic
od: Abramsky, S
Wydane: (1993) -
Logical abstract interpretation
od: D'Silva, V, i wsp.
Wydane: (2013) -
Kan extensions are partial colimits
od: Perrone, P, i wsp.
Wydane: (2022)