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
引用
收藏
相关论文
共 4 条
  • [1] DESIGN AND IMPLEMENTATION OF A MULTIPASS-COMPILER GENERATOR.
    Sassa, Masataka
    Tokuda, Junko
    Shinogi, Tsuyoshi
    Inoue, Kenzo
    Journal of Information Processing, 1980, 3 (02) : 77 - 86
  • [2] Design and implementation of thunk recycling in the Glasgow Haskell Compiler
    Takano, Yasunao
    Iwasaki, Hideya
    Sato, Shigeyuki
    Computer Software, 2015, 32 (01) : 253 - 287
  • [3] Implementation of the memory-safe full ANSI-C compiler
    Research Center for Information Security , National Institute of Advanced Industrial Science and Technology , Japan
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, (259-269): : 259 - 269
  • [4] Designing a flexible tool for rapid implementation of brain-computer interfaces (BCI) in game development
    University of Calgary and Alberta Children's Hospital, Calgary
    T2N 1N4, Canada
    不详
    T2N 1N4, Canada
    Proc. Annu. Int. Conf. IEEE Eng. Med. Biol. Soc. EMBS, 1600, (6078-6081):
1