Abstract Interpretation‚ Logical Relations and Kan Extensions
Prif Awdur: | Abramsky, S |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
1990
|
Eitemau Tebyg
-
Observational Logic and Process Semantics (Abstract)
gan: Abramsky, S
Cyhoeddwyd: (1989) -
Introduction to Abstract Interpretation
gan: Abramsky, S, et al.
Cyhoeddwyd: (1987) -
Computational Interpretations of Linear logic
gan: Abramsky, S
Cyhoeddwyd: (1993) -
Logical abstract interpretation
gan: D'Silva, V, et al.
Cyhoeddwyd: (2013) -
Kan extensions are partial colimits
gan: Perrone, P, et al.
Cyhoeddwyd: (2022)