英语词汇“annotated ada”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	annotated ada
释义	ANNotated Ada ANNotated Ada (language, specification)(Anna) A specification languagedeveloped at Stanford University ca. 1980 for formallyspecifying Ada programs. It has a Specification Analyzerand a Consistency Checking System. It adds semanticassertions in the form of Ada comments. ftp://anna.stanford.edu/pub/anna/. ["ANNA - A Language for Annotating Ada Programs", DavidLuckham et al, Springer 1987]. See ANNA See ANNA
随便看	very high performance computing and communications very high power countermeasures very high pressure very high pressure liquid chromatography very high priority very high quality very-high-rate asymmetric digital subscriber line very high rate of each specimen very high resolution very high resolution color display very high speed digital subscriber line very high speed dsl very high speed integrated circuit very high-speed integrated circuit very high speed integrated circuits very high speed integrated circuit technology brassboard very high speed optical networks very high temperature very humorous very hydrophobic organic compound very important day very important person very important person indeed very important phone call very important top officer

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

ANNotated Ada