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, et al.
יצא לאור: (1987) -
Computational Interpretations of Linear logic
מאת: Abramsky, S
יצא לאור: (1993) -
Logical abstract interpretation
מאת: D'Silva, V, et al.
יצא לאור: (2013) -
Kan extensions are partial colimits
מאת: Perrone, P, et al.
יצא לאור: (2022)