Abstract Interpretation‚ Logical Relations and Kan Extensions
1. Verfasser: | Abramsky, S |
---|---|
Format: | Conference item |
Veröffentlicht: |
1990
|
Ähnliche Einträge
-
Observational Logic and Process Semantics (Abstract)
von: Abramsky, S
Veröffentlicht: (1989) -
Introduction to Abstract Interpretation
von: Abramsky, S, et al.
Veröffentlicht: (1987) -
Computational Interpretations of Linear logic
von: Abramsky, S
Veröffentlicht: (1993) -
Logical abstract interpretation
von: D'Silva, V, et al.
Veröffentlicht: (2013) -
Kan extensions are partial colimits
von: Perrone, P, et al.
Veröffentlicht: (2022)