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 条

[41] Intuitive multitasking in Ada 2005
Colorado Technical University
不详
CrossTalk, 2006, 8 (12-15):
[42] ADA COMPILER VALIDATION - AN EXAMPLE OF SOFTWARE TESTING THEORY AND PRACTICE
GOODENOUGH, JB
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 275 : 195 - 232
[43] 1ST COMPLETE ADA COMPILER RUNS ON A MICRO
CARLSON, WE
FISHER, DA
MINI-MICRO SYSTEMS, 1982, 15 (09): : 207 - &
[44] Design and Implementation of the MTP Compiler
Zhao, Yuan
He, Yunlong
Xiao, Jianhao
He, Zhongbo
Ye, Zuochang
Wang, Yan
2024 INTERNATIONAL SYMPOSIUM OF ELECTRONICS DESIGN AUTOMATION, ISEDA 2024, 2024, : 112 - 117
[45] The design and implementation of a certifying compiler
Necula, GC
Lee, P
ACM SIGPLAN NOTICES, 1998, 33 (05) : 333 - 344
[46] The design and implementation of a certifying compiler
Necula, GC
Lee, P
ACM SIGPLAN NOTICES, 2004, 39 (04) : 612 - 613
[47] Design and implementation of a quantum compiler
Metodi, Tzvetan S.
Gasster, Samuel D.
QUANTUM INFORMATION AND COMPUTATION VIII, 2010, 7702
[48] IMPLEMENTATION OF A C-COMPILER
HOTTA, H
INADA, M
OKAMOTO, T
NTT REVIEW, 1990, 2 (03): : 90 - 96
[49] Design and implementation of a IDL compiler
Jiang, Shujuan
Yin, Zhaolin
Yan, Dashun
Jisuanji Gongcheng/Computer Engineering, 2000, 26 (03): : 17 - 18
[50] Design and implementation of a queue compiler
Canedo, Arquimedes
Abderazek, Ben A.
Sowa, Masahiro
MICROPROCESSORS AND MICROSYSTEMS, 2009, 33 (02) : 129 - 138