প্রোগ্রামিং ভাষা তত্ত্ব (সাধারণত PLT হিসাবে পরিচিত) কম্পিউটার বিজ্ঞানের একটি শাখা যা অঙ্কণ বা নকশা বাস্তবায়ন, বিশ্লেষণ,বৈশিষ্ট্য প্রদান, প্রোগ্রামিং ভাষা'র শ্রেণীবিভাগ এবং তাদের স্বতন্ত্র বৈশিষ্ট্যের সাথে সম্পর্কিত।এটি কম্পিউটার বিজ্ঞান বিভাগের সাথে সম্পর্কিত যা গণিতˌ সফটওয়ার ইঞ্জিনিয়ারিং এবং ভাষাবিজ্ঞান ইত্যাদির উপর নির্ভর করে এবং এদেরকে প্রভাবিত করে। এটি যথাযথভাবে স্বীকৃত কম্পিউটার বিজ্ঞানের একটি শাখা এবং একটি সক্রিয় গবেষণা ক্ষেত্রˌযার ফলাফল অনেক জার্নাল, যেগুলো PLT-তে উত্সর্গিত, পাশাপাশি সাধারণ কম্পিউটার বিজ্ঞানে এবং প্রকৌশল প্রকাশনায় প্রকাশিত হয়।