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 条

[31] EXPERIENCE ACQUIRING AND RETARGETING A PORTABLE ADA COMPILER
ARDO, A
SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (04): : 291 - 307
[32] Towards a compiler front-end for Ada
Goos, Gerhard
Winterstein, Georg
ACM SIGPLAN Notices, 1980, 15 (11): : 36 - 46
[33] An invitation to Ada 2005
Leroy, P
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 1 - 23
[34] Ada, interfaces and the listener paradigm
Rosen, JP
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 344 - 356
[35] Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
Royuela, Sara
Martorell, Xavier
Quinones, Eduardo
Pinho, Luis Miguel
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, 2018, 10873 : 141 - 157
[36] REAL-TIME ADA COMPILER SPEEDS DEVELOPMENT
WATSON, D
COMPUTER DESIGN, 1989, 28 (02): : 9 - &
[37] ADA COMPILER, APU READIED FOR Z8000
JOHNSON, RC
ELECTRONICS-US, 1981, 54 (24): : 42 - 43
[38] ATTENTION TO BASICS REDUCES RISK IN ADA COMPILER CHOICE
SHERMAN, B
COMPUTER DESIGN, 1986, 25 (12): : 87 - 90
[39] ABSTRACT INTERFACES FOR COMPILER GENERATING TOOLS
KASTENS, U
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 371 : 103 - 114
[40] Hierarchical scheduling with Ada 2005
Pulido, Jos A.
Uruena, Santiago
Zamorano, Juan
Vardanega, Tullio
de la Puente, Juan A.
RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 1 - 12