প্রোগ্রামের ডিডাক্টিভ সংশ্লেষণ

অ্যাবস্ট্রাক্ট ইন্টারপ্রিটেশন

সেমান্টিক আনুমানিকতার তত্ত্ব যা কংক্রিটের পরিবর্তে অ্যাবস্ট্রাক্ট ডোমেইনে গণনা করে প্রোগ্রামের বৈশিষ্ট্যগুলি স্ট্যাটিকভাবে বিশ্লেষণ করতে দেয়।

← ফিরে যান