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)