Ilea
From MaRDI portal
Software:34465
No author found.
Related Items (3)
Equational logic and categorical semantics for multi-languages ⋮ On multi-language abstraction. Towards a static analysis of multi-language programs ⋮ JNI light: an operational model for the core JNI
This page was built for software: Ilea
