JNI light: an operational model for the core JNI

Gang Tan. JNI light: an operational model for the core JNI. Mathematical Structures in Computer Science, 25(4):805-840, 2015. [doi]

Abstract

Abstract is missing.