Abstract Interpretation‚ Logical Relations and Kan Extensions
প্রধান লেখক: | Abramsky, S |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
1990
|
অনুরূপ উপাদানগুলি
-
Observational Logic and Process Semantics (Abstract)
অনুযায়ী: Abramsky, S
প্রকাশিত: (1989) -
Introduction to Abstract Interpretation
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (1987) -
Computational Interpretations of Linear logic
অনুযায়ী: Abramsky, S
প্রকাশিত: (1993) -
Logical abstract interpretation
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2013) -
Kan extensions are partial colimits
অনুযায়ী: Perrone, P, অন্যান্য
প্রকাশিত: (2022)