Internal and External Logics of Abstract Interpretations
No abstract available.
Related papers
- Reasoning about External Calls OOPSLA 2025
- Cedalion: a language for language oriented programming OOPSLA 2011
- Internal Iteration Externalized ECOOP 1999
- Deriving fluent internal domain-specific languages from grammars SLE 2018
- Scalable packet classification using interpreting: a cross-platform multi-core solution PPoPP 2008
- Abstract effects and proof-relevant logical relations POPL 2014
- Multiparty Session Typing, Embedded TACAS 2025
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023