The implementation of Ada 2005 synchronized interfaces in the GNAT compiler

被引：0
|
作者：
Miranda, Javier [1 ,2 ]
Schonberg, Edmond [2 ,3 ]
Kirtchev, Hristian [4 ]
机构：
[1] Applied Microelectronics Research Institute, University of Las Palmas de Gran Canaria, Spain
[2] AdaCore
[3] Courant Institute of Mathematical Sciences, New York University, United States
[4] AdaCore, United States
来源：
Proc. ACM SIGAda Annu. Int. Conf. | / 41-48期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer software - Computer systems programming - Interfaces (computer) - Java programming language - Synchronization
引用
收藏
相关论文
共 50 条
  • [1] The implementation of Ada 2005 interface types in the GNAT compiler
    Miranda, J
    Schonberg, E
    Dismukes, G
    RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS, 2005, 3555 : 208 - 219
  • [2] Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT
    Aldea Rivas, Mario
    Gonzalez Harbour, Michael
    Ruiz, Jose F.
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 105 - +
  • [3] Implementation of new Ada 2005 real-time services in MaRTE OS and GNAT
    Rivas, Mario Aldea
    Ruiz, Jose F.
    RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS, 2007, 4498 : 29 - +
  • [4] The design and implementation of ada compiler evaluation system
    Li, DH
    Cai, JP
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 30 - 35
  • [5] GNAT: The GNU New York University Ada Translator - A high-quality, low-cost Ada 95 compiler
    Smyth, G
    DR DOBBS JOURNAL, 1997, 22 (12): : 86 - &
  • [6] Design and implementation of integrated environment of ada compiler validation
    Huang, YM
    Cai, JP
    Li, DH
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 88 - 93
  • [7] An Ada95 programming style checker using the GNAT ASIS implementation
    Closhen, P
    Hoffmann, HJ
    RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000, 2000, 1845 : 149 - 160
  • [8] GNAT Ada database development environment
    Erdmann, M
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 334 - 343
  • [9] The Charrette Ada compiler
    Rosenberg, Jonathan
    Lamb, David Alex
    Hisgen, Andy
    Sherman, Mark
    ACM SIGPLAN Notices, 1980, 15 (11): : 72 - 81
  • [10] ADA COMPILER UPDATE
    BRUKARDT, RL
    BYTE, 1987, 12 (13): : 18 - 18
12345