Proceedings of the AdaTEC Conference on Ada最新文献

筛选
英文 中文
An Ada package for discrete event simulation 离散事件模拟的Ada包
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3304133.3304157
G. Bruno
{"title":"An Ada package for discrete event simulation","authors":"G. Bruno","doi":"10.1145/3304133.3304157","DOIUrl":"https://doi.org/10.1145/3304133.3304157","url":null,"abstract":"This paper discusses the implications deriving from the introduction of discrete event simulation primitives into Ada and presents a package supporting the \"process view of simulation\". Multiprocessing features of Ada are taken into account, since the simulation is given some parallelism by concurrently resuming all the processes with equal awakening instants.","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128699142","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Session details: Applications 会话详细信息:应用
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3306120
J. Goodenough
{"title":"Session details: Applications","authors":"J. Goodenough","doi":"10.1145/3306120","DOIUrl":"https://doi.org/10.1145/3306120","url":null,"abstract":"","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123587048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project 测试INRIA Ada形式化定义:USC-ISI形式化语义项目
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3304133.3304151
V. Kini, David F. Martin, Alley Stoughton
{"title":"Testing the INRIA Ada formal definition: the USC-ISI formal semantics project","authors":"V. Kini, David F. Martin, Alley Stoughton","doi":"10.1145/3304133.3304151","DOIUrl":"https://doi.org/10.1145/3304133.3304151","url":null,"abstract":"The design and implementation of the Ada [1] programming language was commissioned by DoD with the intention of requiring most future military systems to be programmed in Ada. It is therefore necessary that Ada be precisely understood by both its users and implementers, in order to ensure the quality of systems written in Ada. In particular, since DoD must control Ada compiler implementations, a precise, well-structured, and validated formal definition of Ada can provide one of the principal standards to which these implementations must adhere. Beyond such considerations pertaining to particular programming languages such as Ada, good generic research toward the design and implementation of tools and methodologies for supporting the development of precise, readable, and accurate formal definitions has considerable relevance to the broader goals of understanding large programs and verifying their correctness.","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124148338","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A methodology for programming abstract data types in Ada Ada中抽象数据类型编程的一种方法
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3304133.3304143
M. Sherman, Andy Hisgen, Jonathan Rosenberg
{"title":"A methodology for programming abstract data types in Ada","authors":"M. Sherman, Andy Hisgen, Jonathan Rosenberg","doi":"10.1145/3304133.3304143","DOIUrl":"https://doi.org/10.1145/3304133.3304143","url":null,"abstract":"We develop conventions to be followed when creating abstract data types in Ada. These conventions define a discipline for the use of initialization, finalization, assignment, private types, and generic packages in writing transportable and interchangeable abstract data types. We illustrate the conventions by presenting several implementations of an Ada package for a typical abstract data type, Set. The implications of these conventions for compiler implementation are discussed.","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133996900","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Session details: Kapse issues 会议细节:Kapse问题
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3306116
R. Brender
{"title":"Session details: Kapse issues","authors":"R. Brender","doi":"10.1145/3306116","DOIUrl":"https://doi.org/10.1145/3306116","url":null,"abstract":"","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130992739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the access-before-elaboration problem in Ada 论Ada中细化前的访问问题
Proceedings of the AdaTEC Conference on Ada Pub Date : 1982-10-06 DOI: 10.1145/3304133.3304149
Peter A. Belmont
{"title":"On the access-before-elaboration problem in Ada","authors":"Peter A. Belmont","doi":"10.1145/3304133.3304149","DOIUrl":"https://doi.org/10.1145/3304133.3304149","url":null,"abstract":"Ada requires compilers (and their linkers) to choose an order of elaboration (OOE) for the library units of a program being prepared for execution. July 1980 Ada [Ada-80] further requires that this order be chosen so that no formal access-before-elaboration (F-ABE) situation result. The proposed revisions to Ada following the ANSI canvass [Ada-82] have eliminated this requirement but now provide that an actual access-before-elaboration (A-ABE) shall cause the exception SOME_ERROR to be raised. This paper will define F-ABE and A-ABE, will discuss rationales for both the old and the new rules, and will discuss implications of the new rules in relation to other language features proposed for inclusion in 1982 Ada. The algorithms used in IAPC-20, the Intermetrics Ada Prototype Compiler for TOPS-20, which implement the July 1980 rules regarding F-ABE and OOE, will also be discussed and sketched.","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122118504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Proceedings of the AdaTEC Conference on Ada AdaTEC Ada会议记录
Proceedings of the AdaTEC Conference on Ada Pub Date : 1900-01-01 DOI: 10.1145/3304133
{"title":"Proceedings of the AdaTEC Conference on Ada","authors":"","doi":"10.1145/3304133","DOIUrl":"https://doi.org/10.1145/3304133","url":null,"abstract":"","PeriodicalId":304626,"journal":{"name":"Proceedings of the AdaTEC Conference on Ada","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120984012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信