Abstract Interpretation‚ Logical Relations and Kan Extensions
Hlavní autor: | Abramsky, S |
---|---|
Médium: | Conference item |
Vydáno: |
1990
|
Podobné jednotky
-
Observational Logic and Process Semantics (Abstract)
Autor: Abramsky, S
Vydáno: (1989) -
Introduction to Abstract Interpretation
Autor: Abramsky, S, a další
Vydáno: (1987) -
Computational Interpretations of Linear logic
Autor: Abramsky, S
Vydáno: (1993) -
Logical abstract interpretation
Autor: D'Silva, V, a další
Vydáno: (2013) -
Kan extensions are partial colimits
Autor: Perrone, P, a další
Vydáno: (2022)