Abstract Interpretation‚ Logical Relations and Kan Extensions
Tác giả chính: | Abramsky, S |
---|---|
Định dạng: | Conference item |
Được phát hành: |
1990
|
Những quyển sách tương tự
-
Observational Logic and Process Semantics (Abstract)
Bằng: Abramsky, S
Được phát hành: (1989) -
Introduction to Abstract Interpretation
Bằng: Abramsky, S, et al.
Được phát hành: (1987) -
Computational Interpretations of Linear logic
Bằng: Abramsky, S
Được phát hành: (1993) -
Logical abstract interpretation
Bằng: D'Silva, V, et al.
Được phát hành: (2013) -
Kan extensions are partial colimits
Bằng: Perrone, P, et al.
Được phát hành: (2022)