जैकब मैथ्यूज और रॉबर्ट ब्रूस फाइंडर द्वारा मल्टी-लैंग्वेज प्रोग्राम्स के लिए पेपर ऑपरेशनल शब्दार्थ दो प्रोग्रामिंग भाषाओं में लिखे गए कार्यक्रमों के शब्दार्थ को परिभाषित करने के लिए दो दृष्टिकोण प्रस्तुत करते हैं, एक भाषा में परिभाषित डेटा का विशेष ध्यान रखते हैं और दूसरे में उपयोग किया जाता है। गांठ एम्बेडिंग दूसरे के कोड चलाने में प्रदर्शित करने के एक ही भाषा में बनाई गई मूल्यों की अनुमति देता है, लेकिन यह केवल आसपास पर संचालित नहीं (या शायद केवल एक छोटा सा इंटरफ़ेस द्वारा पर संचालित) पारित किया जा सकता, कर रहे हैं। प्राकृतिक एम्बेडिंग एक भाषा में मूल्यों एक तथाकथित प्रदर्शन से अन्य में इस्तेमाल किया जा करने की अनुमति देता पार भाषा डाली है, जो एक भाषा दूसरे से से मूल्यों को बदल देता है।
पेपर जेएनआई लाइट: गैंग टैन द्वारा कोर जेएनआई के लिए एक ऑपरेशनल मॉडल मौजूदा जेएनआई काम करता है का एक औपचारिक शब्दार्थ प्रस्तुत करता है। पिछले पेपर के विपरीत, यह एक संस्थापक दृष्टिकोण से मुद्दों का पता लगाने की कोशिश करने के बजाय क्या हो रहा है, इसके निम्न स्तर के विवरणों में से कई को औपचारिकता है।
माइकल फुर्र और जेफरी फोस्टर द्वारा फॉरेन फंक्शन कॉल्स की चेकिंग टाइप सेफ्टी जैसे टाइप- फंक्शन फॉरेन फंक्शन कॉल्स पर काम करते हैं, यह भी एक औपचारिक फ्रेमवर्क प्रदान करते हैं जिसमें टाइप सिस्टम को वाक्यांश देना और उसकी साउंडनेस को साबित करना है।
इन पत्रों में संदर्भों को देखने और यह पता लगाने में कि वे Google विद्वान का उपयोग करके उद्धृत किए गए हैं, आपको उस क्षेत्र में क्या किया गया है, इसकी अधिक गहन तस्वीर को खोजने में मदद करेगा।