জ্যাকব ম্যাথিউস এবং রবার্ট ব্রুস ফাইন্ডার র বহুবিধ প্রোগ্রামের জন্য অপারেশনাল সিমানটিকস কাগজ দুটি প্রোগ্রামিং ভাষায় রচিত প্রোগ্রামগুলির শব্দার্থবিজ্ঞান সংজ্ঞায়নের জন্য দুটি পদ্ধতির উপস্থাপন করেছে, একটি ভাষায় সংজ্ঞায়িত এবং অন্য ভাষায় ব্যবহৃত ডেটার বিশেষ যত্ন নেওয়া। পিণ্ড এমবেডিং অন্যের কোড চালনাকারী প্রদর্শিত করতে এক ভাষা তৈরি মান পারবেন, কিন্তু এই শুধুমাত্র প্রায় পরিচালিত নয় (অথবা সম্ভবত শুধুমাত্র একটি ছোট ইন্টারফেস দ্বারা পরিচালিত) পাস করা যেতে পারে, হয়। প্রাকৃতিক এমবেডিং এক ভাষা মান একটি তথাকথিত সম্পাদন দ্বারা অন্য ব্যবহার করা সম্ভব হবে ক্রস ভাষা ঢালাই , যা এক ভাষা অপরের থেকে মানগুলি পরিবর্তন করে।
কাগজটি জেএনআই লাইট: গ্যাং ট্যানের কোর জেএনআইয়ের জন্য একটি অপারেশনাল মডেল বিদ্যমান জেএনআই কীভাবে কাজ করে তার একটি আনুষ্ঠানিক শব্দার্থ উপস্থাপন করে। পূর্ববর্তী কাগজের বিপরীতে, এটি ভিত্তিক দৃষ্টিকোণ থেকে বিষয়গুলি অন্বেষণ করার চেষ্টা না করে, যা চলছে তার নিম্ন স্তরের বিশদকে অনেকগুলি আনুষ্ঠানিক করে।
বিদেশী ফাংশন কলগুলির প্রকারের সুরক্ষা পরীক্ষা করা , যেমন বিদেশী ফাংশন কলগুলি টাইপ-চেক করার কাজ করে মাইকেল ফুর এবং জেফরি ফস্টার দ্বারা প্রণীত , এছাড়াও প্রথাগত সিস্টেমটির বাক্য নির্ধারণ করার এবং এর যথার্থতা প্রমাণ করার জন্য একটি আনুষ্ঠানিক কাঠামো সরবরাহ করে।
এই কাগজপত্রগুলিতে রেফারেন্সগুলি অনুসন্ধান করা এবং গুগল পণ্ডিতের সাহায্যে কোথা থেকে সেগুলি উদ্ধৃত করা হয়েছে তা সন্ধান করা আপনাকে অঞ্চলে কী করা হয়েছে তার আরও গভীর চিত্র আবিষ্কার করতে সহায়তা করবে।