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)