Ilea

swMATH22674MaRDI QIDQ34465FDOQ34465

Author name not available (Why is that?)

Cited In (3)

• On multi-language abstraction. Towards a static analysis of multi-language programs
• Equational logic and categorical semantics for multi-languages
• JNI light: an operational model for the core JNI

This page was built for software: Ilea