Typing a multi-language intermediate code
From MaRDI portal
Publication:5178887
DOI10.1145/360204.360228zbMath1323.68209OpenAlexW1976499711MaRDI QIDQ5178887
Publication date: 17 March 2015
Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360204.360228
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Verified bytecode verifiers., A flexible model for dynamic linking in Java and C\#, Tool-assisted specification and verification of typed low-level languages, On multi-language abstraction. Towards a static analysis of multi-language programs, Formalising Java RMI with explicit code mobility, A high-level modular definition of the semantics of C\(_{\sharp}\)
