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)