Transforming Ada serving tasks into protected objects

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Transforming Ada serving tasks into protected objects

Full text

Pdf (550 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 240 - 245

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Bangqing Li	Department of Computer Science & Engineering, Southeast University, Nanjing 210096, P. R. China
Baowen Xu	Department of Computer Science & Engineering, Southeast University, Nanjing 210096, P. R. China
Huiming Yu	Department of Computer Science, North Carolina A&T State University, Greensboro, NC

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 15, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289633 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
	2	Henry Ledgard, Reference Manual for the ADA Programming Language, Springer-Verlag New York, Inc., Secaucus, NJ, 1983
	3	Corrado Böhm , Giuseppe Jacopini, Flow diagrams, turing machines and languages with only two formation rules, Communications of the ACM, v.9 n.5, p.366-371, May 1966 [doi>10.1145/355592.365646]
	4	Hilfinger, P. N. Implementation Strategies For Ada Tasking Idioms. Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, October 6- 8, 1982:26-30
	5	ISO/IEC 9652: 1995(E), Ada Reference Manual Language and Standard Libraries, 1995
	6	M. A. Jackson, Principles of Program Design, Academic Press, Inc., Orlando, FL, 1975
	7	C. Douglass Locke , Thomas J. Mesler , David R. Vogel, Replacing passive tasks with Ada9X protected records, ACM SIGAda Ada Letters, v.XIII n.2, p.91-96, March/April 1993 [doi>10.1145/152827.152834]
	8	David J. Naiditch, Rendezvous with Ada 95, John Wiley & Sons, Inc., New York, NY, 1995
	9	Xu, B. Ada 95 Protected Objects And Data- Oriented Synchronization. Computer Research and Development, 1997, 34(1): 72-77

CITED BY 2

	Zhenqiang Chen , Baowen Xu , Huiming Yu, Detecting concurrently executed pairs of statements using an adapted MHP algorithm, ACM SIGAda Ada Letters, v.XXI n.4, December 2001
	Hongmin Lu , Yuming Zhou , Jiangtao Lu , Baowen Xu, A compile-time optimization framework for Ada rendezvous, ACM SIGPLAN Notices, v.39 n.2, February 2004