首页> 美国政府科技报告 >Ada Compiler Validation Summary Report. Certificate Number: 95062211.11393,Tartan, Inc. Compiler Name: Tartan Ada SPARC/C40. Version 5.1

【24h】

Ada Compiler Validation Summary Report. Certificate Number: 95062211.11393,Tartan, Inc. Compiler Name: Tartan Ada SPARC/C40. Version 5.1

机译：ada编译器验证摘要报告。证书编号：95062211.11393，Tartan，Inc。编译器名称：Tartan ada spaRC / C40。版本5.1

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This Ada implementation was tested and determined to pass ACVC 1.11. Testing wascompleted on 22 June 1995. Host Computer System: Sun SPARCstation ELC under SunOS, Release 4.1.3 Target Computer System: Texas Instruments TMS32OC4O Parallel Development System (bare machine).

著录项

作者

展开▼
作者单位

展开▼
年度 1995
页码
总页数 72
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; Ada programming language; Test and evaluation; Validation; Standards;

机译：编译器; ada编程语言;测试和评估;验证;标准;

相似文献

外文文献
中文文献
专利

1. Tartan Color & Chemical to Represent Wolstenholme in Canada [J] . Paint amp, Coatings Industry Group Paint & Coatings Industry: Serving Liquid and Powder Manufacturers in the Global Marketplace . 2005,第11期

机译：格子呢色彩与化学公司将代表加拿大的沃尔斯滕霍尔姆
2. New Compiler Challenges: Optimizing for ADAS Applications [J] . Alexander Herz Elektor electronics worldwide . 2017,第6suppla期

机译：编译器面临的新挑战：针对ADAS应用进行优化
3. Compiler-Optimierung für ADAS-Anwendungen [J] . Alexander Herz Elektor: die Elektronik-Zeitschrift . 2017,第6Suppla期

机译：ADAS应用程序的编译器优化
4. Ten Years of Tool Based Ada Compiler Validations An Experience Report [C] . Michael Tonndorf Ada-Europe international conference on reliable software technologies . 1998

机译：十年基于工具的Ada编译器验证经验报告
5. Compiler-assisted Adaptive Software Testing [D] . Petsios, Theofilos. 2018

机译：编译器辅助的自适应软件测试
6. An integrated primary care workforce planning toolkit at the regional level (part 2): quantitative tools compiled for decision-makers in Toronto Canada [O] . Sarah Simkin, Caroline Chamberland-Rowe, Ivy Lynn Bourgeault 2021

机译：区域一级的综合初级保健劳动力规划工具包（第2部分）：为加拿大多伦多的决策者编制的定量工具
7. Atlas du Québec — L’agriculture. Bureau de recherches économiques, Ministère de l’Industrie et du commerce, 1966. 47 cartes. LÉTOURNEAU, Firmin, La Côte nord de Gaspé — Les premières tentatives d’établissement, les vrais fondateurs, les paroisses actuelles et un programme de développement. — Revue d'Histoire de la Gaspésie, vol. III, no IV, octobre-décembre 1965 : 176-218. Culture, vol. XXVII, no 3 (septembre 1966) Des pages 230 à 349, « En hommage aux R.P. Ephrem Longpré, o.f.m., savant théologien médiéviste canadien ». Répertoire des Ministères canadiens depuis la Confédération — Supplément 1er janvier 1957 — 1er août 1965. Archives publiques du Canada, Ottawa, 1966. 21 p. Recent Acquisitions — National Portrait Gallery Smithsonian Institution. Entries Compiled by Robert G. Stewart. Smithsonian Institution, Washington, D.C. 1966. Archives publiques du Canada — Division des manuscrits — Inventaire provisoire. Fonds des manuscrits No 18. Documents antérieurs à la cession. Ottawa, 1966. Noël à Ville-Marie en 1665 et Messe de Minuit à l'Hôtel-Dieu il y a 300 ans — Christmas at Ville-Marie in 1665 Midnight Mass at Hôtel-Dieu, Montreal Three Hundred Years. Texte : Louis-Raoul de Lorimier — Illustrations: James Mclsaac, 23 p. La Louisiane française — Exposition de documents du 25 mai au 19 juin 1966. Musée du Québec. LA FERRIÈRE, Philippe, Les origines de la Bibliothèque Saint-Sulpice et ses trésors — Conférence faite à la Bibliothèque Saint-Sulpice le 27 avril 1966. Répertoire des thèses en cours portant sur des sujets d'histoire et autres sujets connexes compilés par les Archives publiques du Canada et édités par la Société historique du Canada — no 1, 1966. 39 p. TESIOROWSKI, Jan, Canadiens français — Puissance du nombre. Etude statistique sur le bilinguisme. Présentation Lt.-CoI. Sarto Marchand, président Conseil d'Expansion Economique Inc., et de la Fondation Melchers Limitée. Beauchemin, mars 1966. 50 p. Toponymie — Bulletin d'information no 4 (juin 1966). Service d'Urbanisme, Ville de Montréal. 149 p. MARION, Séraphin, de la Société royale du Canada et des « Dix », Péché d'omission d'un historien canadien. Ottawa, juin 1966. Brochure de 20 p. Cahiers d'Archéologie Québécoise, mai 1966 — 2e année, no 1, Station du Sylvicole moyen à la-Pointe-du-Lac — Matériel archaïque de Bécancour. Le Musée d'Archéologie — Centre des études universitaires, Trois-Rivières. $1. l'ex. 41 p. ROMME, Jules, O.Prém., Lacolle, 1865-1965. [O] . 1966

机译：魁北克地图集 - 农业。 1966年工业和商业部经济研究局.47地图。 LÉTOURNEaU，Firmin，Gaspé北岸 - 第一次尝试定居，真正的创始人，目前的教区和开发项目。 - GaspésieHistoryReview，Vol。 III，IV，1965年10月至12月：176-218。文化，第一卷XXVII，No。3（1966年9月）从第230页到第349页，“为了纪念EphremLongpré，o.f.m。，一位学识渊博的加拿大中世纪神学家”。自1957年1月1日至1965年8月1日以来加拿大联邦部委目录 - 1965年8月1日。加拿大公共档案馆，渥太华，1966年.21页。最近的收购 - 国家肖像画廊史密森尼学会。参赛作品由Robert G. stewart编写。史密森尼学会，华盛顿特区，1966年。加拿大公共档案馆 - 手稿部门 - 临时盘点。第18号手稿基金。退保前的文件。渥太华，1966年。1665年在Ville-marie的圣诞节和Hôtel-Dieu的messe de minuit 300年前 - 圣诞节在1665年的Ville-marie圣诞节在Hôtel-Dieu，蒙特利尔三百年。文字：Louis-Raoul de Lorimier - 插图：James mclsaac，23页。法国路易斯安那州 - 1966年5月25日至6月19日的文件展。魁北克博物馆。 LaFERRIÈRE，philippe，saint-sulpice图书馆的起源及其珍宝 - 1966年4月27日在saint-sulpice图书馆举办的讲座。档案馆编写的历史题材和其他相关主题的当前论文目录加拿大历史协会出版的加拿大 - 1966年第1号.39页。 TEsIOROWsKI，Jan，法国加拿大人 - 数字的力量。双语的统计研究。演讲Lt.-CoI。经济扩张公司总裁sarto marchand和melchers Foundation Limited。 Beauchemin，1966年3月.50 p。 Toponymy - 第4号通讯（1966年6月）。蒙特利尔市都市主义部。 149 p。加拿大皇家学会的马拉昂，塞拉芬和加拿大历史学家遗漏的“十”罪。渥太华，1966年6月。20 p的小册子。 Cahiersd'archéologieQuébécoise，1966年5月 - 第2年，pointe-du-Lac的中型林地站 - Bécancour的古代材料。考古博物馆 - Trois-Rivières大学研究中心。 $ 1防爆。 41 p。 ROmmE，Jules，O.prem。，Lacolle，1865-1965。

Ada Compiler Validation Summary Report. Certificate Number: 95062211.11393,Tartan, Inc. Compiler Name: Tartan Ada SPARC/C40. Version 5.1

摘要

著录项

相似文献

相关主题

期刊订阅