Can you summarize the following document?
        
  Ada語言最早是針對嵌入式和實時計算設計的,並且在現今依然在這些方面廣泛使用。Ada95版,是由INTERMETRICS公司的塔克·塔夫特於1992到1995年間設計的,當時主要是希望改進對於系統、數字、財務軟體程式設計的支援。  Ada語言的重要特徵就是其嵌入式風格,模組化程式設計,編譯檢查,平行處理,異常處理及泛型程式設計。Ada在1995年加入了對物件導向設計的支援,包括動態分配等。  Ada的編譯檢查主要是針對沒有分配的記憶體讀寫的保護,堆疊溢位錯誤,單個錯誤空閒,佇列讀寫錯誤以及其他可以避免的小問題。這些檢查可以在為增加效率的情況下被取消,但是在編譯的時候他們卻能帶來很高的效率。同樣它也包括對程式的嚴正的設定。因為這些原因,它被廣泛應用於一些非常重要的系統中,例如航空電子學,武器及航天飛行器的作業系統中。  同樣它支援很多的編譯時間檢查,這些檢查被用來避免一些錯誤的發生。這種錯誤往往是在其他語言中執行之前難以被察覺到的,需要在原始碼中加入特殊的檢查設定才能被發現。  Ada的動態記憶體管理非常安全和高規格,它類似於JAVA語言卻不同於C語言的。這種特殊功能並不需要特殊的執行設定。儘管這種語言的語意結構允許對於不能讀寫的目標進行自動的碎片蒐集,但是大多數執行都不支援它。Ada卻支援有限形式基於區域的儲存管理。無效的讀寫常在執行時候被檢查出來(除非這種檢測被人為關閉)並且有時候在編譯時候就被發現。  Ada語言的定義同國際標準化組織(ISO)的標準有很大不同,因為他是一個自由內容形式的。這種做法的後果是被廣大程式設計師只能從它的標準化文件(普遍認為是Ada的參考使用手冊(ARM))尋找細節性的技術問題,但是普遍情況是一本標準教科書卻可以在其他不同語言上使用。  Ada語言由嚴格的巴斯特正規化定義,但是不適合一般人閱讀。它是第一種同時擁有IEC/ISO/美國軍用標準認證的語言,其編譯器經過嚴格的審查,以確保同樣的程式碼在任一編譯器上產生同樣的可執行效果,並且保證並行性在程式碼級可以在無作業系統下同樣執行。

  在1970年代,美國國防部(DoD)所屬的嵌入式計算機系統專案中使用的程式語言數量逐日增多,其中的很多語言十分陳舊或者依賴於硬體,而且沒有一個支援安全的模組化程式設計,對此DoD感到十分擔心。基於這個原因,在1975年成立了高階語言工作組(HOLWG),它的使命是就是尋找或者創造某種適合國防部需要的程式語言,以便減少現有程式語言數量。該小組最終的工作成果就是Ada語言。由此,類似專案中使用的高階程式語言的數量大大減少了,1983年的450種程式語言,到1996年只剩下37種。  工作組開發出了語言要求文件—文件。許多現存的語言都被仔細地檢查,但是1977年這個團隊卻聲稱沒有任何現存語言符合他們的條件。

  一個Ada語言編寫的Hello, World!程式:  在Ada.Text_IO.Put_Line處有一些捷徑,不需要很多的文字輸入,但是對於這裡的理解來講並沒有多大意義。細節性的問題請參考。

  一個普遍的關於歐洲空間局阿麗亞娜5型運載火箭失敗的說法是因為Ada語言在編譯過程的檢查失敗導致的。將大的浮點數轉換成整數是一種常見的程式錯誤來源。1996年6月4日,對於阿麗亞娜5型運載火箭的初次航行來說,這樣一個錯誤產生了災難性的後果。發射後僅僅37秒,火箭偏離它的飛行路徑,解體並爆炸了。火箭上載有價值5億美元的通訊衛星。6億美元付之一炬。後來的調查顯示,控制慣性導航系統的計算機向控制引擎噴嘴的計算機傳送了一個無效資料。失事調查報告指出,火箭爆炸是因為:  它沒有傳送飛行控制資訊,而是送出了一個診斷位模式,表明在將一個64位浮點數轉換成16位有符號整數時,產生了溢位。溢位值測量的是火箭的水平速率,這比早先的阿麗亞娜4型運載火箭所能達到的高出了5倍。在設計阿麗亞娜4型運載火箭的軟體時,他們小心地分析了數字值,並且確定水平速率絕不會超出一個16位的數。不幸的是,他們在阿麗亞娜5型運載火箭的系統中簡單地重新使用了這一部分,而沒有檢查它所基於的假設。Ada程式碼如下:
Ada,是一種程式設計語言。它源於美國軍方的一個計劃,旨在整合美軍系統中執行著上百種不同的程式設計語言編寫的程式,並提高除錯能力與效率,由Pascal及其他語言擴充套件而成,比較接近自然語言和數學表示式,並用「Ada」命名以紀念埃達·洛夫萊斯(英語:Ada Lovelace)。