On multi-language abstraction: towards a static analysis of multi-language programs
From MaRDI portal
Cites work
- Abstract Interpretation Frameworks
- An Oxford survey of order sorted algebra
- An equivalence-preserving CPS translation via multi-language semantics
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Embedded interpreters
- Equational logic and categorical semantics for multi-languages
- Handbook of Elliptic and Hyperelliptic Curve Cryptography
- Hyperhierarchy of semantics -- a formal framework for hyperproperties verification
- Improved functional flow and reachability analyses using indexed linear tree grammars
- Initial Algebra Semantics and Continuous Algebras
- Making abstract interpretations complete
- On collecting semantics for program analysis
- On multi-language abstraction. Towards a static analysis of multi-language programs
- On the multi-language construction
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Property directed polyhedral abstraction
- The denotational semantics of programming languages
- Typing a multi-language intermediate code
- Verifying an Open Compiler Using Multi-language Semantics
This page was built for publication: On multi-language abstraction: towards a static analysis of multi-language programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987111)
