অ্যাডা
অ্যাডা হলো প্যাসকেল এবং অন্যান্য প্রোগ্রামিং ভাষা থেকে উদ্ভূত একটি স্ট্রাকচারড, স্ট্যাটিকালি টাইপড, ইম্পারেটিভ, অবজেক্ট ওরিয়েন্টেড উচ্চস্তরের প্রোগ্রামিং ভাষা। এটিতে ডিজাইন বাই কন্ট্রাক্ট (DbC), অত্যন্ত স্ট্রং টাইপিং, সুস্পষ্ট কনকারেন্সি, টাস্ক, সিঙ্ক্রোনাস মেসেজ পাসিং, সুরক্ষিত অবজেক্ট, এবং নন-ডিটারমিনিজমের অন্তর্নির্মিত সমর্থন রয়েছে। অ্যাডা রানটাইম ত্রুটির সাহায্যে ত্রুটিগুলি খুঁজতে কম্পাইলার ব্যবহার করে কোডের সুরক্ষা এবং রক্ষণাবেক্ষণ উন্নত করে। অ্যাডা একটি আন্তর্জাতিক প্রযুক্তিগত মান, যা আন্তর্জাতিক মান সংস্থা (আইএসও), এবং ইন্টারন্যাশনাল ইলেকট্রোটেকনিক্যাল কমিশন (আইইসি) দ্বারা যৌথভাবে সংজ্ঞায়িত। ২০২০ সাল অনুযায়ী, অনানুষ্ঠানিকভাবে অ্যাডা ২০১২ নামে পরিচিত মান হলো আইএসও/আইইসি ৮৬৫২:২০১২। প্রাথমিকভাবে ১৯৭৭ থেকে ১৯৮৩ সাল পর্যন্ত এটি মার্কিন যুক্তরাষ্ট্রের প্রতিরক্ষা বিভাগের তত্ত্বাবধানে গ্রুপ বুল কোম্পানিতে কর্মরত ফরাসি কম্পিউটার বিজ্ঞানী জঁ ইখবিয়া-র নেতৃত্বে পরিকল্পিত হয়েছিল। এটি নির্মাণের উদ্দেশ্য ছিল তৎকালীন ডিওডিতে ব্যবহৃত প্রায় ৪৫০ এর অধিক প্রোগ্রামিং ভাষাকে প্রতিস্থাপিত করা। প্রোগ্রামিং ধারণার প্রবর্তক হিসেবে স্বীকৃত অ্যাডা লাভলেসের নামে অ্যাডা ভাষাটির নামকরণ করা হয়েছিল।