Abstract Interpretation‚ Logical Relations and Kan Extensions
Príomhchruthaitheoir: | Abramsky, S |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
1990
|
Míreanna comhchosúla
-
Observational Logic and Process Semantics (Abstract)
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1989) -
Introduction to Abstract Interpretation
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (1987) -
Computational Interpretations of Linear logic
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1993) -
Logical abstract interpretation
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013) -
Kan extensions are partial colimits
de réir: Perrone, P, et al.
Foilsithe / Cruthaithe: (2022)