On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs
Abstract elided by the publisher.
Related papers
- Refining semantics for multi-stage programming GPCE 2017
- Static analysis of multi-staged programs via unstaging translation POPL 2011
- Static conflict analysis for multi-threaded object-oriented programs PLDI 2003
- A multi-stage language with intensional analysis GPCE 2006
- Static/Dynamic validation of MPI collective communications in multi-threaded context PPoPP 2015
- Typechecking and Modules for Multi-Methods OOPSLA 1994
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Multi-Methods in a Statically-Typed Programming Language ECOOP 1991