英语词汇“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
随便看	emphysematous asthma emphysematous bulla emphysematous chest chandrashekar limit chandrashekhar agashe college of physical education chandrashekhar limit chandra space telescope chandra telescope chandravamsha chandra x-ray center chandra x-ray observatory chandra x-ray space telescope chandra x-ray telescope chandrika chandry chands chandui chandulal nanavati vinay mandir chanduy chandyr chane chanel chanel, coco chanel, gabrielle chanel gabrielle bonheur

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

ANNotated Ada