JNI light: an operational model for the core JNI

DOI10.1017/S0960129513000042zbMath1361.68068OpenAlexW2013109541MaRDI QIDQ5740640

Gang Tan

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129513000042

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• OCaml
• Featherweight Java
• JNIL
• Ilea

Cites Work

• Formal verification of a C-like memory model and its uses for verifying program transformations
• A type system for the Java bytecode language and verifier

This page was built for publication: JNI light: an operational model for the core JNI