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)