Transforming Ada serving tasks into protected objects

Authors:
Bangqing Li;Baowen Xu;Huiming Yu
Affiliations:
Department of Computer Science & Engineering, Southeast University, Nanjing 210096, P. R. China;Department of Computer Science & Engineering, Southeast University, Nanjing 210096, P. R. China;Department of Computer Science, North Carolina A&T State University, Greensboro, NC
Venue:
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Year:
1998

Citing 6
Cited 2

Concurrent programming: principles and practice

Concurrent programming: principles and practice
Replacing passive tasks with Ada9X protected records

ACM SIGAda Ada Letters
Rendezvous with Ada 95

Rendezvous with Ada 95
Flow diagrams, turing machines and languages with only two formation rules

Communications of the ACM
Reference Manual for the ADA Programming Language

Reference Manual for the ADA Programming Language
Principles of Program Design

Principles of Program Design

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

Proceedings of the 2001 annual ACM SIGAda international conference on Ada
A compile-time optimization framework for Ada rendezvous

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract