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 条
  • [21] How to use GNAT to efficiently preprocess new Ada sentences
    Miranda, J
    Guerra, F
    Martel, E
    Martín, J
    González, A
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 179 - 192
  • [22] ADA COMPILER AND SUPPORT SYSTEM-DEVELOPMENT
    TANAKA, K
    FUJIMARU, M
    YAMAGUCHI, K
    REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1985, 33 (03): : 473 - 479
  • [23] ADA KIT CUTS COMPILER DEVELOPMENT TIME
    GOERING, R
    COMPUTER DESIGN, 1984, 23 (13): : 38 - &
  • [24] COMPILER ALLOWS ADA DEVELOPMENT ON AN IBM PC/AT
    TETEWSKY, A
    EDN, 1987, 32 (04) : 157 - &
  • [25] Towards a Demonstrably-Correct Ada Compiler
    Nettleton, Chris
    Ifill, Wilson
    Marsh, Colin
    SIGADA'07: PROCEEDINGS OF THE 2007 ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE, 2007, : 89 - 95
  • [26] Incorporating precise garbage collection in an Ada compiler
    Garcia-Rodriguez, Francisco
    Miranda, Javier
    Galvez, Jose Fortes
    RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS, 2007, 4498 : 235 - +
  • [27] ADA COMPILER EVALUATION CAPABILITY (ACEC) - AN OVERVIEW
    LEAVITT, T
    TERRELL, K
    DEEKERLINDSEY, B
    AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 616 - 622
  • [28] OFFICIAL ADA COMPILER - MORE THAN ONE
    PATES, JL
    ELECTRONIC DESIGN, 1983, 31 (16) : 15 - 16
  • [29] Ada 95 compiler achieves full validation
    Quinnell, RA
    EDN, 1997, 42 (01) : 22 - 22
  • [30] CHOOSE ADA COMPILER CAREFULLY FOR SIMULATOR SOFTWARE
    NAROTAM, M
    LAYTON, C
    SLISH, J
    EDN, 1987, 32 (17) : 133 - &
12345