Makalah Operasional Semantik untuk Program Multi-Bahasa
oleh Jacob Matthews dan Robert Bruce Findler menyajikan dua pendekatan untuk mendefinisikan semantik program yang ditulis dalam dua bahasa pemrograman, merawat data tertentu yang didefinisikan dalam satu bahasa dan digunakan dalam yang lain. The benjolan embedding memungkinkan nilai-nilai yang dibuat dalam satu bahasa ke bahasa muncul dalam kode lain yang berjalan, tetapi ini hanya bisa dilalui sekitar, tidak dioperasikan pada (atau mungkin dioperasikan oleh hanya antarmuka kecil). The embedding alami memungkinkan nilai-nilai dalam satu bahasa yang akan digunakan dalam lain dengan melakukan apa yang disebut cor lintas bahasa , yang mengubah nilai dari satu bahasa ke bahasa yang lain.
Makalah JNI Light: Model Operasional untuk Core JNI oleh Gang Tan menyajikan semantik formal tentang cara kerja JNI yang ada. Berbeda dengan makalah sebelumnya, ini adalah formalisasi banyak detail tingkat rendah dari apa yang terjadi, daripada mencoba untuk mengeksplorasi masalah dari perspektif dasar.
Bekerja pada panggilan fungsi asing jenis-memeriksa, seperti Memeriksa Jenis Keamanan Panggilan Fungsi Asing oleh Michael Furr dan Jeffrey Foster, juga menyediakan kerangka kerja formal di mana untuk frase sistem tipe dan membuktikan kesehatannya.
Melihat referensi dalam makalah ini dan menemukan di mana mereka dikutip menggunakan google scholar akan membantu Anda menemukan gambaran yang lebih menyeluruh tentang apa yang telah dilakukan di daerah tersebut.