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