Abstract Interpretation‚ Logical Relations and Kan Extensions
Autor principal: | Abramsky, S |
---|---|
Formato: | Conference item |
Publicado em: |
1990
|
Registros relacionados
-
Observational Logic and Process Semantics (Abstract)
por: Abramsky, S
Publicado em: (1989) -
Introduction to Abstract Interpretation
por: Abramsky, S, et al.
Publicado em: (1987) -
Computational Interpretations of Linear logic
por: Abramsky, S
Publicado em: (1993) -
Logical abstract interpretation
por: D'Silva, V, et al.
Publicado em: (2013) -
Kan extensions are partial colimits
por: Perrone, P, et al.
Publicado em: (2022)