एडा (प्रोग्रामिंग भाषा)

From Vigyanwiki
Ada
Ada Mascot with slogan.svg
ParadigmMulti-paradigm: structured, imperative, object-oriented, aspect-oriented,[1] concurrent, array, distributed, generic, procedural, meta
परिवारPascal
द्वारा डिज़ाइन किया गया
  • MIL-STD-1815, Ada 83: Jean Ichbiah
  • Ada 95: Tucker Taft
  • Ada 2005: Tucker Taft
  • Ada 2012: Tucker Taft
पहली प्रस्तुतिFebruary 1980; 45 years ago (1980-02)
Stable release
Ada 2012 TC1[2][3]
टाइपिंग अनुशासनstatic, strong, safe, nominative
ओएसMulti- or cross-platform
फ़ाइल नाम एक्सटेंशनएस.adb, .ads
वेबसाइटwww.adaic.org
Major implementations
AdaCore GNAT,[4]
Green Hills Software Optimising Ada 95 compiler,
PTC ApexAda and ObjectAda,[5]
MapuSoft Ada-C/C++ changer,[6] formerly known as "AdaMagic with C Intermediate",[7]
DDC-I Score
Dialects
SPARK, Ravenscar profile
Influenced by
ALGOL 68, Pascal, Simula 67,[8] C++ (Ada 95), Smalltalk (Ada 95), Modula-2 (Ada 95) Java (Ada 2005), Eiffel (Ada 2012)
Influenced
C++, Chapel,[9] Drago,[10] D, Eiffel, Griffin,[11] Java, Nim, ParaSail, PL/SQL, PL/pgSQL, Python, Ruby, Seed7, SPARforte,[12] Sparkel, SQL/PSM, VHDL

एडीए पास्कल और अन्य भाषाओं से विस्तारित एक संरचित, सांख्यिकीय रूप से टाइप की गई, अनिवार्य और वस्तु-उन्मुख उच्च-स्तरीय प्रोग्रामिंग भाषा है। इसमें अनुबंध द्वारा डिज़ाइन (DbC) के लिए अंतर्निहित भाषा समर्थन, अत्यंत मजबूत प्रकारण, स्पष्ट संगामिति, कार्य, तुल्यकालिक संदेश पासिंग, संरक्षित वस्तुएँ और अनियतता है। एडीए रनटाइम (प्रोग्राम जीवनचक्र चरण) त्रुटियों के पक्ष में त्रुटियों को खोजने के लिए संकलक का उपयोग करके कोड सुरक्षा और रखरखाव में सुधार करता है। एडीए एक अंतर्राष्ट्रीय तकनीकी मानक है, जिसे अंतर्राष्ट्रीय मानकीकरण संगठन (आईएसओ) और अंतर्राष्ट्रीय विद्युत तकनीकी आयोग (आईईसी) द्वारा संयुक्त रूप से परिभाषित किया गया है। 2020 तक, मानक, जिसे एडीए 2012 अनौपचारिक रूप से कहा जाता है,[13] आईएसओ/आईईसी 8652:2012 है।[14]

एडा को मूल रूप से 1977 से 1983 तक यूनाइटेड स्टेट्स रक्षा विभाग (DoD) के अनुबंध के तहत बुल ग्रुप के फ्रांसीसी कंप्यूटर वैज्ञानिक जीन इचबियाह के नेतृत्व में एक टीम द्वारा डिजाइन किया गया था, जो उस समय DoD द्वारा उपयोग की जाने वाली 450 से अधिक प्रोग्रामिंग भाषाओं को सुपरसीड करता था। [15]

एडीए को मूल रूप से 1977 से 1983 तक संयुक्त राज्य अमेरिका के रक्षा विभाग (DoD) के अनुबंध के अंतर्गत सीएलएल हनीवेल बुल के फ्रांसीसी कंप्यूटर वैज्ञानिक जीन इचबियाह के नेतृत्व में एक समूह द्वारा डिज़ाइन किया गया था, जो उस समय DoD द्वारा उपयोग की जाने वाली 450 से अधिक प्रोग्रामिंग भाषाओं को अधिक्रमण करता था।

एडीए का नाम लवलेस (1815-1852) के नाम पर रखा गया था, जिन्हें पहले कंप्यूटर प्रोग्रामर के रूप में श्रेय दिया जाता है। [16]

विशेषताएं

एडीए मूल रूप से अन्तः स्थापित और रीयल-टाइम प्रणाली के लिए डिज़ाइन किया गया था। 1992 और 1995 के बीच इंटरमेट्रिक्स के एस. टकर टैफ़्ट द्वारा डिज़ाइन किया गया एडीए 95 संशोधन, प्रणाली, संख्यात्मक, वित्तीय और वस्तु उन्मुख प्रोग्रामिंग (ओओपी) के लिए बेहतर समर्थन करता है।

एडीए की विशेषताओं में सम्मिलित हैं: मजबूत टाइपिंग, मॉड्यूलर प्रोग्रामिंग मैकेनिज्म (पैकेज), रन-टाइम चेकिंग, पैरलेल प्रोसेसिंग (टास्क, सिंक्रोनस मैसेज पासिंग, प्रोटेक्टेड ऑब्जेक्ट्स, और नॉनडेटर्मिनिस्टिक सेलेक्ट स्टेटमेंट्स), एक्सेप्शन हैंडलिंग और जेनरिक। एडीए 95 ने गतिशील प्रेषण सहित वस्तु के उन्मुख प्रोग्रामिंग के लिए समर्थन जोड़ा।

एडीए का सिंटैक्स मौलिक संचालन करने के तरीकों के विकल्पों को कम करता है, और अंग्रेजी कीवर्ड (जैसे ऑर एल्स और एण्ड देन) को प्रतीकों (जैसे || और &&) को प्राथमिकता दी। एडीए मौलिक अंकगणितीय संक्रियक +, -, *, और /, का उपयोग करता है, लेकिन अन्य प्रतीकों का उपयोग करने से बचता है। कोड ब्लॉक को स्पष्टता, स्टार्ट और एंड जैसे शब्दों द्वारा सीमांकित किया जाता है, जहां एंड (अधिकतम स्थितियों में) ब्लॉक के पहचानकर्ता के बाद बंद हो जाता है (जैसे, अगर ... एंड अगर, लूप ... एंड लूप) . सशर्त ब्लॉक की स्थिति में यह पीछे लगने से बचता है जो या जावा जैसी अन्य भाषाओं में गलत नेस्टेड इफ-एक्सप्रेशन के साथ जुड़ सकता है।

एडीए को बहुत बड़े सॉफ्टवेयर सिस्टम विकसित करने के लिए डिज़ाइन किया गया है। एडीए पैकेज को अलग से संकलित किया जा सकता है। एडीए पैकेज विनिर्देशों (पैकेज इंटरफ़ेस) को भी कार्यान्वयन के बिना स्थिरता की जांच के लिए अलग से संकलित किया जा सकता है। इससे कार्यान्वयन प्रारंभ होने से पहले, डिजाइन चरण के समय समस्याओं का जल्द पता लगाना संभव हो जाता है।

कुछ अन्य भाषाओं में रन-टाइम तक पता लगाने योग्य नहीं होने वाली बग से बचने में सहायता के लिए बड़ी संख्या में संकलन-समय की जांच का समर्थन किया जाता है या स्रोत कोड में स्पष्ट जांच की आवश्यकता होती है। उदाहरण के लिए, बेमेल एंड चिन्ह के कारण त्रुटियों को रोकने के लिए सिंटैक्स को स्पष्ट रूप से ब्लॉक के नाम की आवश्यकता होती है। मजबूत टाइपिंग का समर्थन या तो संकलन-समय के समय, या अन्यथा रन-टाइम के समय कई सामान्य सॉफ़्टवेयर त्रुटियों (गलत पैरामीटर, सीमा उल्लंघन, अमान्य संदर्भ, बेमेल प्रकार, आदि) का पता लगाने की अनुमति देता है। जैसा कि संगामिति भाषा विनिर्देश का भाग है, संकलक कुछ स्थितियों में संभावित गतिरोधों का पता लगा सकता है।[17] कंपाइलर सामान्यतः गलत वर्तनी वाले पहचानकर्ताओं, पैकेजों की दृश्यता, निरर्थक घोषणाओं आदि की जांच करते हैं और त्रुटि को ठीक करने के तरीके पर चेतावनी और उपयोगी सुझाव प्रदान कर सकते हैं।

एडीए बिना विनियोजित मेमोरी, बफर ओवरफ्लो एरर, सीमा उल्लंघन, ऑफ-बाय-वन एरर, एरे अभिगम्य एरर और अन्य डिटेक्टेबल बग्स तक अभिगम्य से बचाने के लिए रन-टाइम चेक का भी समर्थन करता है। रनटाइम दक्षता के हित में इन चेकों को अक्षम किया जा सकता है, लेकिन प्रायः इन्हें कुशलतापूर्वक संकलित किया जा सकता है। इसमें सॉफ्टवेयर सत्यापन में सहायता के लिए सुविधाएं भी सम्मिलित हैं। इन कारणों से, एडीए का व्यापक रूप से महत्वपूर्ण प्रणालियों में उपयोग किया जाता है, जहां सॉफ़्टवेयर में कोई भी विसंगति बहुत गंभीर परिणाम दे सकती है, जैसे, आकस्मिक मृत्यु, चोट या गंभीर वित्तीय हानि। जिन प्रणालियों मे एडीए का उपयोग किया जाता है उनमें हवाई जहाज, हवाई यातायात नियंत्रण, रेलवे, बैंकिंग, सैन्य और अंतरिक्ष प्रौद्योगिकी सम्मिलित हैं।[18]Cite error: Closing </ref> missing for <ref> tag

एडीए का डायनेमिक मेमोरी प्रबंधन उच्च-स्तरीय और प्रकार-सुरक्षित है। एडीए के पास कोई जेनेरिक या अनटाइप्ड संकेत नहीं है; न ही यह स्पष्ट रूप से किसी सूचक प्रकार की विवरण करता है। इसके अतिरिक्त, सभी डायनेमिक मेमोरी विनियोजन और डीलोकेशन स्पष्ट रूप से वर्णित अभिगम्य प्रकारों के माध्यम से होने चाहिए। प्रत्येक अभिगम्य प्रकार में एक संबद्ध भंडारण पूल होता है जो मेमोरी प्रबंधन के निम्न-स्तरीय विवरण को संभालता है; प्रोग्रामर या तो डिफ़ॉल्ट स्टोरेज पूल का उपयोग कर सकता है या नए को परिभाषित कर सकता है (यह असमान मेमोरी अभिगम्य के लिए विशेष रूप से प्रासंगिक है)। कई अलग-अलग अभिगम्य प्रकारों को घोषित करना भी संभव है जो सभी एक ही प्रकार को निर्दिष्ट करते हैं लेकिन अलग-अलग स्टोरेज पूल का उपयोग करते हैं। साथ ही, भाषा संकलन समय और रन टाइम दोनों पर अभिगम्यता जांच प्रदान करती है, जो यह सुनिश्चित करती है कि एक अभिगम्य मान उस वस्तु के प्रकार को पार नहीं कर सकती है जिसे वह इंगित करता है।

हालांकि भाषा के सिमेंटिक्स अप्राप्य वस्तुओं के स्वत: अपशिष्ट संग्रह (कंप्यूटर विज्ञान) की अनुमति देते हैं, अधिकांश कार्यान्वयन डिफ़ॉल्ट रूप से इसका समर्थन नहीं करते हैं, क्योंकि यह रीयल-टाइम सिस्टम में अप्रत्याशित व्यवहार का कारण होगा। एडीए क्षेत्र-आधारित स्मृति प्रबंधन के सीमित रूप का समर्थन करता है; इसके अतिरिक्त, भंडारण पूल का रचनात्मक उपयोग स्वत: अपशिष्ट संग्रह का एक सीमित रूप प्रदान कर सकता है, क्योंकि भंडारण पूल को नष्ट करने से पूल में सभी वस्तुओं को भी नष्ट कर दिया जाता है।

एक डबल-डैश (--), एक em डैश जैसा दिखता है, टिप्पणी टेक्स्ट को दर्शाता है। स्रोत कोड के पूरे अनुभागों को गलती से शून्य करने से खुले हुए टिप्पणियों को रोकने के लिए टिप्पणियां पंक्ति के अंत में रुकती हैं। कोड के एक पूरे ब्लॉक को अक्षम करने के लिए अब प्रत्येक पंक्ति (या स्तंभ) को अलग-अलग "--" के साथ उपसर्ग करने की आवश्यकता है। पृष्ठ के नीचे दोहराए गए "--" कॉलम के साथ अक्षम कोड को स्पष्ट रूप से इंगित करते हुए यह बड़े ब्लॉकों के प्रयोगात्मक अक्षम/पुन: सक्षम करने को एक अधिक खींची गई प्रक्रिया प्रदान करता है।

अर्धविराम ( ; ) एक विवरण समापक है, और अशक्त या आसंचालन विवरण अशक्त है; एक भी; विवरण के बिना समाप्त करने की अनुमति नहीं है।

अधिकांश आईएसओ मानकों के विपरीत, एडीए भाषा की परिभाषा (एडीए संदर्भ नियम या ARM, या कभी-कभी भाषा संदर्भ नियम या LRM के रूप में जानी जाती है) मुफ्त सामग्री है। इस प्रकार, यह एडीए प्रोग्रामर के लिए एक सामान्य संदर्भ है, न कि केवल एडीए संकलक को लागू करने वाले प्रोग्रामर। संदर्भ नियम के अतिरिक्त, एक व्यापक औचित्य दस्तावेज भी है जो भाषा के डिजाइन और विभिन्न भाषा निर्माणों के उपयोग की व्याख्या करता है। यह दस्तावेज़ प्रोग्रामर द्वारा भी व्यापक रूप से उपयोग किया जाता है। जब भाषा को संशोधित किया गया, तो एक नया औचित्य दस्तावेज़ लिखा गया।

जीएनटी प्रोग्रामिंग प्रसार-कक्ष, और जीएनटी जो कि जीएनयोयू संकलक संग्रह का भाग है, एक उल्लेखनीय मुफ़्त सॉफ़्टवेयर उपकरण है जिसका उपयोग कई एडीए प्रोग्रामर उन्हें एडीए स्रोत कोड लिखने में सहायता करने के लिए करते हैं।

इतिहास

1970 के दशक में यूनाइटेड स्टेट्स डिपार्टमेंट ऑफ डिफेंस (DoD) अपने अन्तः स्थापित कंप्यूटर सिस्टम प्रोजेक्ट्स के लिए उपयोग की जा रही विभिन्न प्रोग्रामिंग भाषाओं की संख्या से सम्बद्ध हो गया, जिनमें से कई अप्रचलित या हार्डवेयर-निर्भर थे, और इनमें से कोई भी सुरक्षित मॉड्यूलर प्रोग्रामिंग का समर्थन नहीं करता था। 1975 में, एक कार्यकारी समूह, हाई ऑर्डर लैंग्वेज वर्किंग ग्रुप (एचओएलडब्ल्यूजी) का गठन किया गया था, जो इस संख्या को कम करने के विचार से विभाग और रक्षा मंत्रालय (यूनाइटेड किंगडम) की आवश्यकताओं के लिए सामान्यतः उपयुक्त प्रोग्रामिंग भाषा खोज या निर्माण कर रहा था। मूल स्ट्रॉ मैन प्रस्ताव से प्रारंभ होने वाले कई पुनरावृत्तियों के बाद अंततः प्रोग्रामिंग भाषा का नाम एडीए रखा गया। ऐसी परियोजनाओं के लिए उपयोग की जाने वाली उच्च-स्तरीय प्रोग्रामिंग भाषाओं की कुल संख्या 1983 में 450 से गिरकर 1996 तक 37 हो गई।

एचओएलडब्ल्यूजी ने स्टीलमैन भाषा की आवश्यकताओं को तैयार किया, दस्तावेजों की एक श्रृंखला जिसमें उन आवश्यकताओं को बताया गया है जो उन्हें लगा कि एक प्रोग्रामिंग भाषा को स्वीकृत करना चाहिए। कई सम्मिलित भाषाओं की औपचारिक रूप से समीक्षा की गई, लेकिन समूह ने 1977 में निष्कर्ष निकाला कि कोई भी सम्मिलित भाषा विनिर्देशों को पूरा नहीं करती है।

एडीए लवलेस, लवलेस की काउंटेस।

एक नई प्रोग्रामिंग भाषा के प्रस्तावों के लिए अनुरोध जारी किए गए थे और चार संकुचक रेड (बेंजामिन ब्रोसगोल के नेतृत्व में इंटरमेट्रिक्स), ग्रीन (जीन इचिबिया के नेतृत्व में CII हनीवेल बुल), ब्लू (सोफटेक, जॉन गुडइनफ के नेतृत्व में)[19] और येलो (SRI अंतरराष्ट्रीय, जे स्पिट्जन के नेतृत्व में) के नामों के अंतर्गत अपने प्रस्तावों को विकसित करने के लिए काम पर रखा गया था। अप्रैल 1978 में, सार्वजनिक जांच के बाद, रेड और ग्रीन प्रस्ताव अगले चरण में पारित हो गए। मई 1979 में, CII हनीवेल बुल में जीन इचिबियाह द्वारा डिजाइन किए गए ग्रीन प्रस्ताव को चुना गया और एडीए लवलेस के बाद एडीए नाम दिया गया। यह प्रस्ताव LIS भाषा से प्रभावित था जिसे इचिबियाह और उनके समूह ने 1970 के दशक में विकसित किया था। प्रारंभिक एडीए संदर्भ नियम जून 1979 में ACM एसआईजीपीएलएएन विज्ञापन में प्रकाशित हुआ था। सैन्य मानक संदर्भ नियम को 10 दिसंबर, 1980 (एडीए लवलेस का जन्मदिन) पर अनुमोदित किया गया था, और एडीए लवलेस के जन्म वर्ष के सम्मान में नंबर MIL-STD-1815 दिया गया था। 1981 में, C. A. R. होरे ने अपने ट्यूरिंग अवार्ड भाषण का लाभ उठाते हुए एडीए की अत्यधिक जटिल होने और इसलिए अविश्वसनीय होने की आलोचना की,[20] लेकिन बाद में ऐसा लगा जैसे उसने एडीए पाठ्यपुस्तक के लिए लिखी गई प्रस्तावना में फिर से लिखा हो।[21]

एडीए ने अपने प्रारम्भिक दिनों में प्रोग्रामिंग समुदाय का बहुत ध्यान आकर्षित किया। इसके समर्थकों और अन्य लोगों ने पूर्व सूचना दी कि यह सामान्य प्रयोजन प्रोग्रामिंग के लिए एक प्रमुख भाषा बन सकती है, न कि केवल रक्षा संबंधी कार्य।[22] इचबिया ने सार्वजनिक रूप से कहा कि दस वर्षों के अंदर, केवल दो प्रोग्रामिंग भाषाएं रह जाएंगी: एडीए और Lisp (प्रोग्रामिंग भाषा)।[23] प्रारंभिक एडीए संकलक बड़ी, जटिल भाषा को लागू करने के लिए संघर्ष करते थे, और संकलन-समय और रन-टाइम प्रदर्शन दोनों ही धीमे और उपकरण प्राचीन थे।[22] संकलक विक्रेताओं ने अपने अधिकांश प्रयासों को बड़े पैमाने पर, भाषा-अनुरूपता-परीक्षण, सरकार द्वारा आवश्यक ACVC सत्यापन क्षमता को पारित करने में खर्च किया, जो कि एडीए भाषा के प्रयास की एक और नए महत्वपूर्ण लेख में आवश्यक था।[23] 1975-1983 में प्रारंभ हुई कंप्यूटर हैकर स्लैंग की शब्दकोश, शब्दजाल फाइल, on एडीए में टिप्पणी करती है कि "यह वही है जो fiat द्वारा उस तरह के समर्थन को देखते हुए उम्मीद कर सकता है;; समिति द्वारा डिज़ाइन किया गया ... उपयोग करने में मुश्किल, और समग्र रूप से विनाशकारी, बहु-अरब-डॉलर का बूनडॉगल ... एडीए लवलेस ... लगभग निश्चित रूप से उसके नाम का उपयोग करने पर विवर्ण हो जाएगा; इसके बारे में जो सबसे अच्छी बात कही गई है, कि संभव्यता एक उपयुक्त छोटी भाषा है जो अपने व्यापक हाथी जैसे स्थूलता के अंदर से बाहर निकलने के लिए अनपेक्षित है।

पहला मान्य एडीए कार्यान्वयन एनवाईयू एडीए/ईडी अनुवादक था,[24] 11 अप्रैल, 1983 को प्रमाणित हुआ था। एनवाईयू एडीए/ईडी उच्च-स्तरीय सेट भाषा एसईटीएल में लागू किया गया है।[25] कई वाणिज्यिक कंपनियों ने एडीए कम्पाइलर और संबद्ध विकास उपकरणों की पेशकश प्रारंभ की, जिसमें अलसिस, टेलीसॉफ्ट, DDC-I, उन्नत कंप्यूटर तकनीक, टार्टन प्रयोगशालाएं, इरविन संकलक, टीएलडी सिस्टम और वर्डिक्स सम्मिलित हैं।[26] कंप्यूटर निर्माता जिनका रक्षा, एयरोस्पेस, या संबंधित उद्योगों में महत्वपूर्ण व्यवसाय था, उन्होंने भी अपने प्लेटफॉर्म पर एडीए संकलक और उपकरण की पेशकश की; इनमें कोंकरंट कंप्यूटर कॉर्पोरेशन, क्रे रिसर्च, Inc., हैरिस कंप्यूटर सिस्टम्स, और सीमेंस निक्सडॉर्फ इंफॉर्मेशनसिस्टम AG सम्मिलित हैं।[26]

1991 में, अमेरिकी रक्षा विभाग ने सभी सॉफ्टवेयर के लिए एडीए ( एडीए अधिदेश) के उपयोग की आवश्यकता प्रारंभ की,[27] हालांकि इस नियम के अपवाद प्रायः दिए गए थे।[22] 1997 में रक्षा विभाग के एडीए अधिदेश को प्रभावी रूप से हटा दिया गया था, क्योंकि DoD ने कमर्शियल ऑफ-द-शेल्फ (सीओटीएस) तकनीक को अपनाना प्रारंभ कर दिया था।[22] अन्य नाटो देशों में भी इसी तरह की आवश्यकताएं मौजूद थीं: कमांड और नियंत्रण और अन्य कार्यों से जुड़े नाटो प्रणाली के लिए एडीए की आवश्यकता थी, और एडीए स्वीडन, जर्मनी और कनाडा जैसे देशों में रक्षा संबंधी अनुप्रयोगों के लिए अनिवार्य या पसंदीदा भाषा थी।[28]

1980 के दशक के अंत और 1990 के दशक के प्रारंभ तक, एडीए कंपाइलर्स के प्रदर्शन में सुधार हुआ था, लेकिन एडीए की क्षमताओं का पूरी तरह से दोहन करने में अभी भी बाधाएं थीं, जिसमें एक टास्किंग मॉडल भी सम्मिलित था, जो कि वास्तविक समय के प्रोग्रामरों के लिए उपयोग किए जाने वाले मॉडल से अलग था।[23]

एडीए की सुरक्षा-महत्वपूर्ण समर्थन सुविधाओं के कारण, अब इसका उपयोग न केवल सैन्य अनुप्रयोगों के लिए किया जाता है, बल्कि व्यावसायिक परियोजनाओं में भी किया जाता है, जहां एक सॉफ्टवेयर बग के गंभीर परिणाम हो सकते हैं, जैसे, एवियोनिक्स और हवाई यातायात नियंत्रण, व्यावसायिक रॉकेट जैसे एरियन 4 और 5, उपग्रह और अन्य अंतरिक्ष प्रणालियाँ, रेलवे परिवहन और बैंकिंग।[29] दाहरण के लिए, एयरप्लेन इंफॉर्मेशन मैनेजमेंट सिस्टम, बोइंग 777 में फ्लाई-बाय-वायर सिस्टम सॉफ्टवेयर, एडीए में लिखा गया था।[30][31] DDC-I के सलाहकारों के सहयोग से हनीवेल एयरोस्पेस द्वारा विकसित, यह विवादास्पद रूप से किसी भी एडीए परियोजना, नागरिक या सेना के लिए सबसे प्रसिद्ध बन गया।[30][31] कैनेडियन ऑटोमेटेड एयर ट्रैफिक सिस्टम को एडीए ((एसएलओसी गणना) की 1 मिलियन लाइनों में लिखा गया था। इसमें उन्नत वितरित प्रसंस्करण, एक वितरित एडीए डेटाबेस और वस्तु उन्मुख डिज़ाइन सम्मिलित हैं। एडीए का उपयोग अन्य हवाई यातायात प्रणालियों में भी किया जाता है, उदाहरण के लिए, यूके की अगली पीढ़ी के अंतरिम भविष्य क्षेत्र नियंत्रण उपकरण समर्थन (iFACTS) हवाई यातायात नियंत्रण प्रणाली को SPARK एडीए का उपयोग करके डिज़ाइन और कार्यान्वित किया गया है।[32] इसका उपयोग टीजीवी हाई-स्पीड रेल सिस्टम पर फ्रेंच टीवीएम इन-कैब सिग्नलिंग सिस्टम और पेरिस, लंदन, हांगकांग और न्यूयॉर्क शहर में मेट्रो उपनगरीय ट्रेनों में भी किया जाता है।[29][33]

मानकीकरण

प्रारंभिक एडीए ACM Sigplan Notes Vol 14, No 6, June 1979 में देखी जा सकती है।

एडीए को पहली बार 1980 में एक अमेरिकी राष्ट्रीय मानक संस्थान मानक एएनएसआई/MIL-STD 1815 के रूप में प्रकाशित किया गया था। चूंकि इस पहले संस्करण में कई त्रुटियां और विसंगतियां थीं (देखें एडीए Language Changes का सारांश), संशोधित संस्करण 1983 में एएनएसआई/एमआईएल-एसटीडी 1815A के रूप में प्रकाशित हुआ था। बिना किसी और परिवर्तन के, यह 1987 में एक आईएसओ मानक बन गया, आईएसओ 8652:1987। भाषा के इस संस्करण को सामान्यतः ANSI द्वारा अपनाए जाने की तारीख से एडीए 83 के रूप में जाना जाता है, लेकिन कभी-कभी आईएसओ द्वारा इसे अपनाये जाने की तारीख से एडीए 87 भी कहा जाता है। यह एडीए 83 संदर्भ मैनुअल है। एक फ्रेंच अनुवाद भी है; डीआईएन ने 1988 में डीआईएन 66268 के रूप में इसका जर्मन में अनुवाद किया।

एडीए 95, संयुक्त आईएसओ/आईईसी/एएनएसआई मानक आईएसओ/आईईसी 8652:1995 (देखें /मानक/एडीए-95-दस्तावेज़/lrm-मूल/एडीए 95 RM) फरवरी 1995 में प्रकाशित हुआ था, जिससे यह पहली आईएसओ मानक वस्तु-उन्मुख प्रोग्रामिंग भाषा बन गई। मानक संशोधन और भविष्य की स्वीकृति में मदद करने के लिए, अमेरिकी वायु सेना ने जीएनटी संकलक के विकास को निधिबद्ध किया। वर्तमान में, जीएनटी संकलक जीएनयू संकलक संग्रह का भाग है।

एडीए भाषा की तकनीकी सामग्री में सुधार और अद्यतन करने पर काम जारी है। एडीए 95 के लिए एक तकनीकी शुद्धिपत्र अक्टूबर 2001 में प्रकाशित हुआ था, आईएसओ/आईईसी 8652:1995/Corr 1:2001 (देखें .org/standards/95lrm/html/RM-TTL.html एडीए 95 RM with TC 1), और एक प्रमुख संशोधन, आईएसओ/आईईसी 8652:1995 /अमद 1:2007 (देखें एडीए 2005 RM) 9 मार्च, 2007 को प्रकाशित हुआ था, जिसे सामान्यतः एडीए 2005 के रूप में जाना जाता है क्योंकि उस वर्ष नए मानक पर टास्कसमाप्त हो गया था।

स्टॉकहोम में एडीए-यूरोप 2012 सम्मेलन में, एडीए रिसोर्स एसोसिएशन (ARA) और एडीए-यूरोप ने एडीए भाषा के नवीनतम संस्करण के डिजाइन को पूरा करने और आईएसओ/आईईसी जेटीसी 1/ को संदर्भ नियम जमा करने की घोषणा की। मानकीकरण के लिए अंतर्राष्ट्रीय संगठन आईएसओ/आईईसी जेटीसी 1/SC 22/WG 9 और अनुमोदन के लिए अंतर्राष्ट्रीय इलेक्ट्रोटेक्निकल कमीशन (आईईसी)। आईएसओ/आईईसी 8652:2012 (देखें html एडीए 2012 RM) दिसंबर 2012 में प्रकाशित हुआ था, जिसे एडीए 2012 के नाम से जाना जाता है। एक तकनीकी शुद्धिपत्र प्रकाशित किया गया था आईएसओ/आईईसी 8652:2012/COR 1:2016 (देखें TC 1 के साथ RM 2012)।

एडीए 83, 95 आदि नामों के होते हुए भी, कानूनी रूप से केवल एक एडीए मानक है, अंतिम आईएसओ/आईईसी मानक में से एक: एक नए मानक संस्करण की स्वीकृति के साथ, पिछला वाला वापस ले लिया जाता है। अन्य नाम केवल एक निश्चित संस्करण को संदर्भित करने वाले अनौपचारिक हैं।

अन्य संबंधित मानकों में आईएसओ 8651|आईएसओ/आईईसी 8651-3:1988 इन्फॉर्मेशन प्रोसेसिंग सिस्टम-कंप्यूटर ग्राफिक्स-ग्राफिकल कर्नेल सिस्टम (GKS) लैंग्वेज बाइंडिंग-पार्ट 3: एडीए सम्मिलित हैं।

भाषा निर्माण

एडीए एक एएलजीओएल जैसी प्रोग्रामिंग भाषा है, जिसमें आरक्षित शब्दों के साथ नियंत्रण संरचना होती है, जैसे कि if, then, else, while, for, इत्यादि। हालाँकि, एडीए के पास कई डेटा संरचना सुविधाएँ और अन्य सार हैं जो मूल एएलजीओएल 60 में सम्मिलित नहीं थे, जैसे कि प्रकार की परिभाषाएँ, रिकॉर्ड, संकेत, गणना। इस तरह के निर्माण आंशिक रूप से पास्कल से विरासत में मिले या प्रेरित थे।

"Hello, world!" in Ada

किसी भाषा के सिंटैक्स का एक सामान्य उदाहरण हैलो वर्ल्ड प्रोग्राम है: (hello.adb) 

with Ada.Text_IO;
procedure Hello is
begin
 Ada.Text_IO.Put_Line ("Hello, world!");
end Hello;

इस प्रोग्राम को निष्पादित करके मुक्त रूप से उपलब्ध मुक्त स्त्रोत संकलक जीएनटी का उपयोग करके संकलित किया जा सकता है

gnatmake hello.adb

डेटा प्रकार

एडीए की प्रकार प्रणाली पूर्वनिर्धारित मौलिक प्रकारो के एक समूह पर आधारित नहीं है, लेकिन उपयोगकर्ताओं को अपने स्वयं के प्रकार घोषित करने की अनुमति देती है। बदले में यह विवरण प्रकार के आंतरिक प्रतिनिधित्व पर आधारित नहीं है बल्कि उस लक्ष्य का वर्णन करने पर आधारित है जिसे प्राप्त किया जाना चाहिए। यह संकलक को प्रकार के लिए उपयुक्त मेमोरी आकार निर्धारित करने की अनुमति देता है, और संकलन समय और रन टाइम (यानी, सीमा उल्लंघन, बफर ओवररन, टाइप स्थिरता इत्यादि) पर प्रकार परिभाषा के उल्लंघन की जांच करने की अनुमति देता है। एडीए एक श्रेणी, सापेक्ष प्रकार, समग्र प्रकार (रिकॉर्ड और सरणियाँ), और गणना प्रकार द्वारा परिभाषित संख्यात्मक प्रकारों का समर्थन करता है। अभिगम्य प्रकार निर्दिष्ट प्रकार के उदाहरण के संदर्भ को परिभाषित करते हैं; अनटाइप्ड सूचक की अनुमति नहीं है। भाषा द्वारा प्रदान किए गए विशेष प्रकार टास्कप्रकार और संरक्षित प्रकार हैं।

उदाहरण के लिए, दिनांक को इस प्रकार दर्शाया जा सकता है: 

type Day_type is range 1 .. 31;
type Month_type is range 1 .. 12;
type Year_type is range 1800 .. 2100;
type Hours is mod 24;
type Weekday is (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday);

type Date is
 record
 Day  : Day_type;
 Month : Month_type;
 Year  : Year_type;
 end record;

नोट करने के लिए महत्वपूर्ण: Day_type, Month_type, Year_type, hour असंगत प्रकार हैं, जिसका अर्थ है कि उदाहरण के लिए निम्न अभिव्यक्ति अवैध है: 

Today: Day_type := 4;
Current_Month: Month_typee:= 10;
... Today + Current_Month ... -- illegal

पूर्वनिर्धारित प्लस-संक्रियक केवल उसी प्रकार के मान जोड़ सकता है, इसलिए अभिव्यक्ति अवैध है।

उपप्रकार घोषित करके प्रकारों को परिष्कृत किया जा सकता है: 

subtype Working_Hours is Hours range 0 .. 12; -- at most 12 Hours to work a day
subtype Working_Day is Weekday range Monday .. Friday; -- Days to work

Work_Load: constant array(Working_Day) of Working_Hours -- implicit type declaration
 
:= (Friday => 6, Monday => 4, others => 10); -- lookup table for working hours with initialization

नियंत्रण संरचना

एडीए एक संरचित प्रोग्रामिंग भाषा है, जिसका अर्थ है कि नियंत्रण का प्रवाह मानक बयानों में संरचित है। सभी मानक निर्माण और डीप-लेवल अर्ली एग्जिट समर्थित हैं, इसलिए समर्थित गो टू (कमांड) कमांड के उपयोग की संभव्यता ही कभी आवश्यकता होती है।

-- while a is not equal to b, loop.

while a /= b loop

Ada.Text_IO.Put_Line ("Waiting");

end loop;

if a > b then

Ada.Text_IO.Put_Line ("Condition met"); else एडीए.Text_IO.Put_Line ("Condition not met"); end if;

for i in 1 .. 10 loop

Ada.Text_IO.Put ("Iteration: ");

Ada.Text_IO.Put (i);

Ada.Text_IO.Put_Line;

end loop;

loop

a := a + 1;

exit when a = 10;

end loop;

case i is

when 0 => Ada.Text_IO.Put ("zero");

when 1 => Ada.Text_IO.Put ("one");

when 2 => Ada.Text_IO.Put ("two");

-- case statements have to cover all possible cases:

when others => Ada.Text_IO.Put ("none of the above");

end case;

for aWeekday in Weekday'Range loop -- loop over an enumeration

Put_Line ( Weekday'Image(aWeekday) ); -- output string representation of an enumeration

if aWeekday in Working_Day then -- check of a subtype of an enumeration

Put_Line ( " to work for " &

Working_Hours'Image (Work_Load(aWeekday)) ); -- access into a lookup table

end if;

end loop;

पैकेज, प्रक्रियाएं और कार्य

एडीए प्रोग्राम के कुछ भागों में पैकेज, प्रक्रियाएँ और टास्कसम्मिलित हैं।

उदाहरण: पैकेज विनिर्देश (example.ads) 

 package Example is

 type Number is range 1 .. 11;
 procedure Print_and_Increment (j: in out Number);
end Example;

with Ada.Text_IO;

package body Example is

i : Number := Number'First; 

 procedure Print_and_Increment (j: in out Number) is



 function Next (k: in Number) return Number is
 begin
 return k + 1;
 end Next;

 begin

 Ada.Text_IO.Put_Line ( "The total is: " & Number'Image(j) );
 jj:= Next (j);
 end Print_and_Increment;

 begin

 Ada.Text_IO.Put_Line ( "The total is: " & Number'Image(j) );
 jj:= Next (j);
 end Print_and_Increment;

-- package initialization executed when the package is elaborated

begin

while i < Number'Last loop

Print_and_Increment (i);

end loop;

end Example;


इस प्रोग्राम को संकलित किया जा सकता है, उदाहरण के लिए, स्वतंत्र रूप से उपलब्ध मुक्त स्रोत संकलक जीएनटी का उपयोग करके, निष्पादित करके

gnatmake -z example.adb

पैकेज, प्रक्रियाएं और टास्क किसी भी गहराई तक समूह बना सकते हैं, और प्रत्येक तार्किक बाह्यतम ब्लॉक भी हो सकता है।

प्रत्येक पैकेज, प्रक्रिया या फ़ंक्शन में स्थिरांक, प्रकार, चर और अन्य प्रक्रियाओं, कार्यों और पैकेजों की अपनी घोषणाएँ हो सकती हैं, जिन्हें किसी भी रन-टाइम में घोषित किया जा सकता है।

समवर्ती

एडीए के पास कार्य-आधारित संगामिति के लिए भाषा समर्थन है। एडीए में मौलिक समवर्ती इकाई एक टास्क है, जो एक अंतर्निहित सीमित प्रकार है। टास्क दो भागों में निर्दिष्ट हैं - टास्क विवरण टास्क इंटरफ़ेस को परिभाषित करती है (एक प्रकार की विवरण के समान), टास्क निकाय टास्क के कार्यान्वयन को निर्दिष्ट करता है। कार्यान्वयन के आधार पर, एडीए कार्यों को या तो ऑपरेटिंग सिस्टम थ्रेड्स या प्रक्रियाओं में मैप किया जाता है, या एडीए रनटाइम द्वारा आंतरिक रूप से शेड्यूल किया जाता है।

टास्क में तुल्यकालन के लिए प्रविष्टियाँ हो सकती हैं (सिंक्रोनस संदेश पासिंग का एक रूप)। टास्क प्रविष्टियों को टास्क विनिर्देश में घोषित किया जाता है। प्रत्येक टास्क प्रविष्टि में टास्क निकाय के अंदर एक या अधिक स्वीकृत कथन हो सकते हैं। यदि टास्क का नियंत्रण प्रवाह एक स्वीकार कथन तक पहुँच जाता है, तो टास्क को तब तक अवरुद्ध कर दिया जाता है जब तक कि संबंधित प्रविष्टि को किसी अन्य टास्क द्वारा नहीं कहा जाता है (इसी तरह, एक कॉलिंग टास्क तब तक अवरुद्ध रहता है जब तक कि टास्कको संबंधित स्वीकृति कथन तक नहीं पहुँच जाता)। टास्क प्रविष्टियों में प्रक्रियाओं के समान पैरामीटर हो सकते हैं, जिससे कार्यों को समकालिक रूप से डेटा का आदान-प्रदान करने की अनुमति मिलती है। चुने गए विवरण के संयोजन के साथ स्वीकार्य विवरण पर बचाव को परिभाषित करना संभव है (दिज्क्स्ट्रा के संरक्षित आदेशो के समान)।

एडीए पारस्परिक बहिष्करण के लिए संरक्षित वस्तुएँ भी प्रदान करता है। संरक्षित वस्तुएं एक मॉनिटर-जैसी संरचना हैं, लेकिन संकेत के लिए सशर्त चर के जगह गार्ड का उपयोग करें (सशर्त महत्वपूर्ण क्षेत्रों के समान)। संरक्षित वस्तुएं डेटा कैप्सुलन और मॉनिटर से सुरक्षित पारस्परिक बहिष्करण और सशर्त महत्वपूर्ण क्षेत्रों से प्रवेश गार्ड को जोड़ती हैं। उत्कृष्ट मॉनिटरों पर मुख्य लाभ यह है कि संकेतन के लिए सशर्त चर की आवश्यकता नहीं होती है, गलत लॉकिंग शब्दार्थ के कारण संभावित गतिरोध से बचा जाता है। कार्यों की तरह, संरक्षित वस्तु एक अंतर्निहित सीमित प्रकार है, और इसमें एक विवरण भाग और एक निकाय भी है।

एक संरक्षित वस्तु में प्रावरण निजी डेटा (जिसे केवल संरक्षित वस्तु के अंदर से ही अभिगम्य किया जा सकता है), और प्रक्रियाएं, टास्क और प्रविष्टियां होती हैं, जो पारस्परिक रूप से अनन्य होने की प्रत्याभूति होती हैं (केवल कार्यों के अपवाद के साथ, जिन्हें अतिरिक्त प्रभाव मुक्त होना आवश्यक है) और इसलिए अन्य कार्यों के साथ समवर्ती रूप से चल सकता है)। संरक्षित वस्तु को कॉलिंग करने वाला टास्क अवरुद्ध हो जाता है यदि कोई अन्य टास्क वर्तमान में उसी संरक्षित वस्तु के अंदर निष्पादित हो रहा है, और जब यह अन्य टास्क संरक्षित वस्तु को छोड़ देता है तो उसे छोड़ दिया जाता है। आगमन के समय आदेशित संरक्षित वस्तु पर अवरुद्ध टास्कपंक्तिबद्ध हैं।

संरक्षित वस्तु प्रविष्टियाँ प्रक्रियाओं के समान हैं, लेकिन अतिरिक्त रूप से गार्ड हैं। यदि कोई गार्ड असत्य का मूल्यांकन करता है, तो एक कॉलिंग टास्क अवरुद्ध हो जाता है और उस प्रविष्टि की पंक्ति में जुड़ जाता है; अब किसी अन्य टास्क को संरक्षित वस्तु में प्रवेश दिया जा सकता है, क्योंकि वर्तमान में संरक्षित वस्तु के अंदर कोई टास्क निष्पादित नहीं हो रहा है। जब भी कोई टास्क संरक्षित वस्तु को छोड़ता है तो गार्ड का पुनर्मूल्यांकन किया जाता है, क्योंकि यह एकमात्र समय है जब गार्ड का मूल्यांकन बदल सकता है।

प्रविष्टियों के लिए कॉल को उसी हस्ताक्षर के साथ अन्य प्रविष्टियों के लिए आवश्यक किया जा सकता है। जिस टास्क की आवश्यकता होती है उसे अवरुद्ध कर दिया जाता है और लक्ष्य प्रविष्टि की पंक्ति में जोड़ दिया जाता है; इसका तात्पर्य है कि संरक्षित वस्तु जारी की जाती है और किसी अन्य टास्क के प्रवेश की अनुमति देती है।

एडीए में चयन कथन का उपयोग गैर-अवरुद्ध प्रविष्टि कॉलों को लागू करने के लिए किया जा सकता है और प्रविष्टियों के गैर-नियतात्मक चयन (गार्ड के साथ भी), समय-समाप्त और समापन को स्वीकार करता है।

निम्नलिखित उदाहरण एडीए में समवर्ती प्रोग्रामिंग की कुछ अवधारणाओं को दिखाता है।

withAda.Text_IO; use Ada.Text_IO;

procedure Traffic is 

 type Airplane_ID is range 1..10; -- 10 airplanes

 task type Airplane (ID: Airplane_ID); -- task representing airplanes, with ID as initialisation parameter

 type Airplane_Access is access Airplane; -- reference type to Airplane

 protected type Runway is -- the shared runway (protected to allow concurrent access)

 entry Assign_Aircraft (ID: Airplane_ID); -- all entries are guaranteed mutually exclusive
 entry Cleared_Runway (ID: Airplane_ID);
 entry Wait_For_Clear;
 private
 Clear: Booleanl:= True; -- protected private data - generally more than only a flag...
 end Runway;
 type Runway_Access is access all Runway;

 -- the air traffic controller task takes requests for takeoff and landing

 task type Controller (My_Runway: Runway_Access) is
 -- task entries for synchronous message passing
 entry Request_Takeoff (ID: in Airplane_ID; Takeoff: out Runway_Access);
 entry Request_Approach(ID: in Airplane_ID; Approach: out Runway_Access);
 end Controller;

 -- allocation of instances

 Runway1  : aliased Runway; -- instantiate a runway
 Controller1: Controller (Runway1'Access); -- and a controller to manage it

 ------ the implementations of the above types ------

 protected body Runway is
 entry Assign_Aircraft (ID: Airplane_ID)
 when Clear is -- the entry guard - calling tasks are blocked until the condition is true
 begin
 Clearl:= False;
 Put_Line (Airplane_ID'Image (ID) & " on runway ");
 end;

 entry Cleared_Runway (ID: Airplane_ID)

 when not Clear is
 begin
 Cleara:= True;
 Put_Line (Airplane_ID'Image (ID) & " cleared runway ");
 end;

 entry Wait_For_Clear
 when Clear is
 begin
 null; -- no need to do anything here - a task can only enter if "Clear" is true
 end;
 end Runway;

 entry Wait_For_Clear

 when Clear is
 begin
 null; -- no need to do anything here - a task can only enter if "Clear" is true
 end;
 end Runway;

 task body Controller is

 begin
 loop
 My_Runway.Wait_For_Clear; -- wait until runway is available (blocking call)
 select -- wait for two types of requests (whichever is runnable first)
 when Request_Approach'count = 0 => -- guard statement - only accept if there are no tasks queuing on Request_Approach
 accept Request_Takeoff (ID: in Airplane_ID; Takeoff: out Runway_Access)
 do -- start of synchronized part
 My_Runway.Assign_Aircraft (ID); -- reserve runway (potentially blocking call if protected object busy or entry guard false)
 Takeoff := My_Runway; -- assign "out" parameter value to tell airplane which runway
 end Request_Takeoff; -- end of the synchronised part
 or
 accept Request_Approach (ID: in Airplane_ID; Approach: out Runway_Access) do
 My_Runway.Assign_Aircraft (ID);
 Approach := My_Runway;
 end Request_Approach;
 or -- terminate if no tasks left who could call
 terminate;
 end select;
 end loop;
 end;

 task body Airplane is

 Rwy : Runway_Access;
 begin
 Controller1.Request_Takeoff (ID, Rwy); -- This call blocks until Controller task accepts and completes the accept block
 Put_Line (Airplane_ID'Image (ID) & " taking off...");
 delay 2.0;
 Rwy.Cleared_Runway (ID); -- call will not block as "Clear" in Rwy is now false and no other tasks should be inside protected object
 delay 5.0; -- fly around a bit...
 loop
 select -- try to request a runway
 Controller1.Request_Approach (ID, Rwy); -- this is a blocking call - will run on controller reaching accept block and return on completion
 exit; -- if call returned we're clear for landing - leave select block and proceed...
 or
 delay 3.0; -- timeout - if no answer in 3 seconds, do something else (everything in following block)
 Put_Line (Airplane_ID'Image (ID) & " in holding pattern"); -- simply print a message
 end select;
 end loop;
 delay 4.0; -- do landing approach...
 Put_Line (Airplane_ID'Image (ID) & " touched down!");
 Rwy.Cleared_Runway (ID); -- notify runway that we're done here.
 end;

 task body Airplane is



 New_Airplane: Airplane_Access;

begin

for I in Airplane_ID'Range loop -- create a few airplane tasks 

 New_Airplane := new Airplane (I); -- will start running directly after creation
 delay 4.0;
 end loop;
end Traffic;

प्रागमा

एक प्रागमा एक संकलक निर्देश है जो संकलित आउटपुट के विशिष्ट परिवर्तन की अनुमति देने के लिए संकलक को जानकारी देता है।[34] कुछ प्रागमा भाषा में निर्मित हैं,[35] जबकि अन्य कार्यान्वयन-विशिष्ट हैं।

संकलक प्रागमा के सामान्य उपयोग के उदाहरण कुछ सुविधाओं को अक्षम करना होगा, जैसे रन-टाइम प्रकार जांच या सरणी अधोलिखित सीमा जांच, या संकलक को फ़ंक्शन निर्देश के अतिरिक्त वस्तु कोड डालने का निर्देश देना (जैसा कि C/C ++ पंक्‍तिबद्धता फ़ंक्शन के साथ करता है) )

जेनरिक

यह अनुभाग एडीए में जेनेरिक प्रोग्रामिंग § जेनरिक का एक अंश है।

1977-1980 में पहली बार डिजाइन किए जाने के बाद से एडीए के पास जेनरिक हैं। मानक पुस्तकालय कई सेवाएं प्रदान करने के लिए जेनरिक का उपयोग करता है। एडीए 2005 मानक पुस्तकालय में एक व्यापक जेनेरिक कंटेनर पुस्तकालय जोड़ता है, जो C++ के मानक आदर्श पुस्तकालय से प्रेरित था। एक जेनरिक इकाई एक पैकेज या उपप्रोग्राम है जो एक या अधिक जेनरिक रूपात्मक पैरामीटर लेता है।

एक जेनरिक रूपात्मक पैरामीटर एक मूल्य, एक चर, एक स्थिरांक, एक प्रकार, एक उपप्रोग्राम, या यहां तक कि किसी अन्य, नामित, जेनरिक इकाई का एक उदाहरण है। सामान्य औपचारिक प्रकारों के लिए, सिंटैक्स असतत, फ्लोटिंग-पॉइंट, फिक्स्ड-पॉइंट, अभिगम्य (पॉइंटर) प्रकारों आदि के बीच अंतर करता है। कुछ औपचारिक मापदंडों में व्यतिक्रम मान हो सकते हैं।

एक जेनरिक इकाई को दृष्टांत करने के लिए, प्रोग्रामर प्रत्येक औपचारिक के लिए वास्तविक पैरामीटर पास करता है। जेनरिक दृष्टांत तब किसी अन्य इकाई की तरह ही व्यवहार करता है। रन-टाइम पर जेनेरिक इकाइयों को दृष्टांत करना संभव है, उदाहरण के लिए लूप के अंदर।

यह भी देखें

  • एपीएसई - एडीए में सॉफ्टवेयर विकास का समर्थन करने के लिए एक प्रोग्रामिंग वातावरण के लिए एक विनिर्देश
  • रेवेन्सकर प्रोफ़ाइल - सुरक्षा-महत्वपूर्ण कठिन वास्तविक समय कंप्यूटिंग के लिए डिज़ाइन की गई एडीए टास्किंग विशेषताओ का एक उपसमूह
  • स्पार्क (प्रोग्रामिंग लैंग्वेज) - एक प्रोग्रामिंग लैंग्वेज जिसमें एडीए का एक अत्यधिक प्रतिबंधित उपसमुच्चय सम्मिलित है, जिसे वांछित घटक व्यवहार और व्यक्तिगत रन-टाइम आवश्यकताओं का वर्णन करने वाली मेटा-सूचना के साथ टिप्पणी किया गया है।

संदर्भ

  1. ↑ "Ada2012 Rationale" (PDF). adacore.com. Archived (PDF) from the original on 18 April 2016. Retrieved 5 May 2018.
  2. ↑ "Technical Corrigendum for Ada 2012 published by ISO". Ada Resource Association. 2016-01-29. Retrieved 2016-02-23.
  3. ↑ "Consolidated Ada 2012 Language Reference Manual". Ada Conformity Assessment Authority. Archived from the original on 2016-03-03. Retrieved 2016-02-23.
  4. ↑ Free download: https://www.adacore.com/download)
  5. ↑ "PTC ObjectAda". PTC.com. Retrieved 2014-01-27.
  6. ↑ "MapuSoft Ada-C/C++ changer". 16 April 2019.
  7. ↑ "AdaMagic with C Intermediate certificate".
  8. ↑ Ada Rationale, 1986, pp. 23, 70, 110–114, 137, 165, 236
  9. ↑ "Chapel spec (Acknowledgements)" (PDF). Cray Inc. 2015-10-01. Archived (PDF) from the original on 2022-10-09. Retrieved 2016-01-14.
  10. ↑ "Drago". Archived from the original on 2020-09-14. Retrieved 2018-08-06.
  11. ↑ "Griffin".
  12. ↑ "SPARforte".
  13. ↑ Ganssle, Jack (2013-05-29). "एडा रिसोर्स एसोसिएशन - एडा प्रोग्रामिंग लैंग्वेज के लिए समाचार और संसाधन". Adaic.org. Retrieved 2013-06-14.
  14. ↑ "ISO/IEC 8652:2012 सूचना प्रौद्योगिकी - प्रोग्रामिंग भाषाएं - एडीए". International Organization for Standardization. Retrieved 2012-12-23.
  15. ↑ "एडा प्रोग्रामिंग लैंग्वेज". University of Mich. Archived from the original on 2016-05-22. Retrieved 27 May 2016.
  16. ↑ Fuegi, J; Francis, J (2003). "लवलेस और बैबेज और 1843 'नोट्स' का निर्माण". IEEE Annals of the History of Computing. 25 (4): 16–26. doi:10.1109/MAHC.2003.1253887. S2CID 40077111.
  17. ↑ "संगामिति - अध्याय 6 - अदा 95 गुणवत्ता और स्टाइल गाइड". adaic.org. Retrieved November 5, 2021.
  18. ↑ Taft, S. Tucker; Olsen, Florence (1999-06-30). "एडा कम-बग्गी कोड को मंथन करने में मदद करती है". Government Computer News. pp. 2–3. Retrieved 2010-09-14.
  19. ↑ "जॉन गुडइनफ". Sei.cmu.edu. Retrieved 2014-01-27. {{cite web}}: Text "एसईआई स्टाफ प्रोफाइल" ignored (help)
  20. ↑ C.A.R., Hoare (1981). "सम्राट के पुराने कपड़े" (PDF). Communications of the ACM. Association for Computing Machinery. 24 (2): 75–83. doi:10.1145/358549.358561. S2CID 97895. Archived (PDF) from the original on 2022-10-09.
  21. ↑ Watt, D.A.; Wichmann, B.A.; Findlay, W. (1987). एडा: भाषा और पद्धति. Prentice-Hall.
  22. ↑ Jump up to: 22.0 22.1 22.2 22.3 Sward, Ricky E. (November 2010). "The rise, fall and persistence of Ada". SIGAda '10: SIGAda पर ACM SIGAda वार्षिक अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. pp. 71–74. doi:10.1145/1879063.1879081.
  23. ↑ Jump up to: 23.0 23.1 23.2 Rosen, J-P. (August 2009). "एडा विरोधाभास (तों)". Ada Letters. ACM SIGAda. 24 (2): 28–35. doi:10.1145/1620593.1620597. S2CID 608405.
  24. ↑ SofTech Inc. (1983-04-11). "Ada संकलक सत्यापन सारांश रिपोर्ट: NYU Ada/ED, संस्करण 19.7 V-001". Waltham, MA. Archived from the original on 2012-03-12. Retrieved 2010-12-16.
  25. ↑ Dewar, Robert B. K.; Fisher, Gerald A. Jr.; Schonberg, Edmond; Froelich, Robert; Bryant, Stephen; Goss, Clinton F.; Burke, Michael (November 1980). "NYU Ada अनुवादक और दुभाषिया". ACM SIGPLAN Notices – Proceedings of the ACM-SIGPLAN Symposium on the Ada Programming Language. 15 (11): 194–201. doi:10.1145/948632.948659. ISBN 0-89791-030-3. S2CID 10586359.
  26. ↑ Jump up to: 26.0 26.1 "एडीए मान्य संकलक सूची". Ada Information Clearinghouse. July 1, 1992. pp. 1–36.
  27. ↑ Ada Information Clearinghouse (1983-04-11). "कांग्रेस का एडा जनादेश". Archived from the original on 2016-03-04. Retrieved 2015-06-07.
  28. ↑ Babiak, Nicholas J. (1989). Ada, नई DoD वेपन सिस्टम कंप्यूटर भाषा - रामबाण या आपदा (PDF). Air University (United States Air Force). pp. 39–40. Archived (PDF) from the original on December 15, 2019.
  29. ↑ Jump up to: 29.0 29.1 Cite error: Invalid <ref> tag; no text was provided for refs named Ada_usage
  30. ↑ Jump up to: 30.0 30.1 Rehmer, Karl (2009). "The HADS Team". In Stellman, Andrew; Greene, Jennifer (eds.). ब्यूटीफुल टीम्स: वेटरन टीम लीडर्स की प्रेरणादायी और सावधान करने वाली दास्तां. Sebastopol, California: O'Reilly. pp. 299–312.
  31. ↑ Jump up to: 31.0 31.1 Wolfe, Alexander (October 2004). "अदा में अभी भी कुछ जान बाकी है". ACM Queue. 2 (7): 28–31. doi:10.1145/1035594.1035608.
  32. ↑ AdaCore. "यूके के नेक्स्ट जेनरेशन एटीसी सिस्टम के लिए जीएनएटी प्रो को चुना गया". Archived from the original on 2010-12-24. Retrieved 2011-03-01.
  33. ↑ AdaCore. "देखें कौन ऐडा का उपयोग कर रहा है". Archived from the original on 2010-12-24. Retrieved 2011-03-01.
  34. ↑ "83 एलआरएम हैं, धारा 2.8: प्रागमास". Archive.adaic.com. Retrieved 2014-01-27.
  35. ↑ "एडीए 83 एलआरएम, परिशिष्ट/अनुलग्नक बी: पूर्वनिर्धारित भाषा प्रागमास". Archive.adaic.com. Archived from the original on 2012-02-06. Retrieved 2014-01-27.



अंतर्राष्ट्रीय मानक

  • आईएसओ 8652|आईएसओ/आईईसी 8652: सूचना प्रौद्योगिकी—प्रोग्रामिंग भाषाएं—एडीए
  • आईएसओ 15291|आईएसओ/आईईसी 15291: सूचना प्रौद्योगिकी—प्रोग्रामिंग भाषाएँ—एडीए सिमेंटिक इंटरफ़ेस विशिष्टता (विकट:ASIS)
  • आईएसओ 18009|आईएसओ/आईईसी 18009: सूचना प्रौद्योगिकी—प्रोग्रामिंग भाषाएं—एडीए: एक भाषा संसाधक का अनुरूपता आकलन (विकट:एसीएटीएस)
  • IEEE 1003|IEEE मानक 1003.5b-1996, POSIX एडीए बाइंडिंग
  • एडीए Language Mapping विशिष्टता, CORBA इंटरफ़ेस विवरण भाषा (IDL) से एडीए मैपिंग

औचित्य

इन दस्तावेजों को प्रिंट सहित विभिन्न रूपों में प्रकाशित किया गया है।


किताबें

  • Booch, Grady (1987). एडा के साथ सॉफ्टवेयर इंजीनियरिंग. California: The Benjamin/Cummings Publishing Company. ISBN 0-8053-0604-8.
  • Skansholm, Jan (1996). एडा 95 शुरुआत से. Addison-Wesley. ISBN 0-201-40376-5.
  • Gilpin, Geoff (1985). एडा: ए गाइडेड टूर एंड ट्यूटोरियल. Prentice hall. ISBN 978-0-13-004045-9.
  • Barnes, John (2006). एडा 2005 में प्रोग्रामिंग. Addison-Wesley. ISBN 0-321-34078-7.
  • Barnes, John (1991). एडा प्लस लैंग्वेज रेफरेंस मैनुअल में प्रोग्रामिंग. Addison-Wesley. ISBN 0-201-56539-0.
  • Barnes, John (1998). एडा 95 में प्रोग्रामिंग. Addison-Wesley. ISBN 0-201-34293-6.
  • Barnes, John (1997). उच्च अखंडता एडीए: स्पार्क दृष्टिकोण. Addison-Wesley. ISBN 0-201-17517-7.
  • Barnes, John (2003). उच्च अखंडता सॉफ्टवेयर: सुरक्षा और सुरक्षा के लिए स्पार्क दृष्टिकोण. Addison-Wesley. ISBN 0-321-13616-0.
  • Beidler, John (1997). डेटा संरचनाएं और एल्गोरिदम: Ada 95 का उपयोग करके एक वस्तु-उन्मुख दृष्टिकोण. Springer-Verlag. ISBN 0-387-94834-1.
  • Gonzalez, Dean W. (1991). एडा प्रोग्रामर की हैंडबुक. Benjamin-Cummings Publishing Company. ISBN 0-8053-2529-8.
  • Ben-Ari, M. (1998). सॉफ्टवेयर इंजीनियरों के लिए एडीए. John Wiley & Sons. ISBN 0-471-97912-0.
  • Cohen, Norman (1996). दूसरी भाषा के रूप में अदा. McGraw-Hill Science/Engineering/Math. ISBN 0-07-011607-5.
  • Burns, Alan; Wellings, Andy (2001). रीयल-टाइम सिस्टम और प्रोग्रामिंग भाषाएं। एडीए 95, रीयल-टाइम जावा और रीयल-टाइम पॉज़िक्स।. Addison-Wesley. ISBN 0-201-72988-1.
  • Burns, Alan; Wellings, Andy (1995). एडा में संगामिति. Cambridge University Press. ISBN 0-521-62911-X.
  • Atkinson, Colin (1991). वस्तु-उन्मुख पुन: उपयोग, समरूपता और वितरण: एक एडा-आधारित दृष्टिकोण. Addison-Wesley. ISBN 0-201-56527-7.
  • Booch, Grady; Bryan, Doug (1994). एडा के साथ सॉफ्टवेयर इंजीनियरिंग. Addison-Wesley. ISBN 0-8053-0608-0.
  • Jones, Do-While (1989). एडीए इन एक्शन: व्यावहारिक प्रोग्रामिंग उदाहरणों के साथ. John Wiley & Sons. ISBN 0-471-60708-8.
  • Stubbs, Daniel; Webre, Neil W. (1993). सार डेटा प्रकार और एडीए के साथ डेटा संरचनाएं. Brooks Cole. ISBN 0-534-14448-9.
  • Ledru, Pascal (December 1998). संरक्षित वस्तुओं के साथ एडीए में वितरित प्रोग्रामिंग. Dissertation.com. ISBN 1-58112-034-6.
  • Culwin, Fintan (1997). एडा, एक विकासात्मक दृष्टिकोण. Prentice Hall. ISBN 0-13-264680-3.
  • English, John; Culwin, Fintan (January 1997). Ada 95 द क्राफ्ट ऑफ़ ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग. Prentice Hall. ISBN 0-13-230350-7.
  • Musser, David R.; Stepanov, Alexander (24 October 1989). एडा जेनेरिक लाइब्रेरी: लीनियर लिस्ट प्रोसेसिंग पैकेज. Springer-Verlag. ISBN 0-387-97133-5.
  • Feldman, Michael B. (1997). एडा 95 के साथ सॉफ्टवेयर निर्माण और डेटा संरचनाएं. Addison-Wesley. ISBN 0-201-88795-9.
  • Johnston, Simon (1997). C और C++ प्रोग्रामर्स के लिए Ada 95. Addison-Wesley. ISBN 0-201-40363-3.
  • Feldman, Michael B.; Koffman, Elliot B. (1992–1993). एडीए: प्रॉब्लम सॉल्विंग एंड प्रोग्राम डिजाइन. Addison-Wesley. ISBN 0-201-52279-9. 795 पृष्ठ।
  • Feldman, Michael B.; Koffman, Elliot B. (1999). 95 हैं. Addison-Wesley. ISBN 0-201-36123-X.
  • Dale, Nell B.; Weems, Chip; McCormick, John (August 1996). एडा 95 के साथ प्रोग्रामिंग और समस्या समाधान. Jones & Bartlett Publishers. ISBN 0-7637-0293-5.
  • Dale, Nell B.; McCormick, John (2007). एडा प्लस डेटा स्ट्रक्चर्स: एन ऑब्जेक्ट-ओरिएंटेड एप्रोच, दूसरा संस्करण. Jones & Bartlett Publishers. ISBN 978-0-7637-3794-8.
  • Krell, Bruce C. (1992). एडा के साथ विकास: जीवन-चक्र के तरीके. Bantam Dell Pub Group. ISBN 0-553-09102-6.
  • Bishop, Judy (10 May 1990). वितरित एडीए: विकास और अनुभव. Cambridge University Press. ISBN 0-521-39251-9.
  • Sanden, Bo (1994). एडीए में उदाहरणों के साथ सॉफ्टवेयर सिस्टम निर्माण. Prentice Hall. ISBN 0-13-030834-X.
  • Hillam, Bruce (1994). एडा का उपयोग कर सार डेटा प्रकार का परिचय. Prentice Hall. ISBN 0-13-045949-6.
  • Rudd, David (1994). एडा के साथ सॉफ्टवेयर डिजाइन और विकास का परिचय. Brooks Cole. ISBN 0-314-02829-3.
  • Pyle, Ian C. (1991). विकासशील सुरक्षा प्रणालियाँ: एडा का उपयोग करने वाली एक मार्गदर्शिका. Prentice Hall. ISBN 0-13-204298-3.
  • Baker, Louis (1989). एडा के साथ आर्टिफिशियल इंटेलिजेंस. McGraw-Hill. ISBN 0-07-003350-1.
  • Burns, Alan; Wellings, Andy (1995). HRT-HOOD: हार्ड रियल-टाइम Ada सिस्टम्स के लिए एक संरचित डिज़ाइन विधि. North-Holland. ISBN 0-444-82164-3.
  • Savitch, Walter; Peterson, Charles (1992). एडा: प्रोग्रामिंग की कला और विज्ञान का एक परिचय. Benjamin-Cummings Publishing Company. ISBN 0-8053-7070-6.
  • Weiss, Mark Allen (1993). एडीए में डेटा संरचनाएं और एल्गोरिथम विश्लेषण. Benjamin-Cummings Publishing Company. ISBN 0-8053-9055-3.
  • Ledgard, Henry (1983). अदा: एक परिचय (second ed.). Springer-Verlag. ISBN 0-387-90814-5.
  • Bjørner, Dines; Oest, Ole N., eds. (1980). एडा के एक औपचारिक विवरण की ओर. London: Springer-Verlag. ISBN 3-540-10283-3.


अभिलेखागार

बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=एडा_(प्रोग्रामिंग_भाषा)&oldid=58502’