GNAT编译器中控制类型的一种新的鲁棒和高效实现

HILT '12 Pub Date : 2012-11-29 DOI:10.1145/2402676.2402693

Hristian Hristov Kirtchev

{"title":"GNAT编译器中控制类型的一种新的鲁棒和高效实现","authors":"Hristian Hristov Kirtchev","doi":"10.1145/2402676.2402693","DOIUrl":null,"url":null,"abstract":"This paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then describe a new model which addresses all existing limitations and is shown to be superior to its predecessor. Finally, we conclude the paper with the status of the new implementation and possible future enhancements.","PeriodicalId":402438,"journal":{"name":"HILT '12","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A new robust and efficient implementation of controlled types in the GNAT compiler\",\"authors\":\"Hristian Hristov Kirtchev\",\"doi\":\"10.1145/2402676.2402693\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then describe a new model which addresses all existing limitations and is shown to be superior to its predecessor. Finally, we conclude the paper with the status of the new implementation and possible future enhancements.\",\"PeriodicalId\":402438,\"journal\":{\"name\":\"HILT '12\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"HILT '12\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2402676.2402693\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"HILT '12","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2402676.2402693","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文讨论了在GNAT编译器中支持Ada控制类型的一种新的实现模型。在回顾了受控类型的语义之后，我们将回顾1995年的原始实现，并讨论其性能问题。然后，我们描述了一个新的模型，它解决了所有现有的限制，并被证明优于其前身。最后，我们总结了新实现的现状和未来可能的增强。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A new robust and efficient implementation of controlled types in the GNAT compiler

This paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then describe a new model which addresses all existing limitations and is shown to be superior to its predecessor. Finally, we conclude the paper with the status of the new implementation and possible future enhancements.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

HILT '12

自引率

0.00%

发文量