An application-independent concurrency skeleton in Ada 95

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An application-independent concurrency skeleton in Ada 95

Full text

Pdf (1.45 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada table of contents

Philadelphia, Pennsylvania, United States

Pages: 179 - 192

Year of Publication: 1996

ISBN:0-89791-808-8

Authors

Matthew B. Dwyer	Department of Computing and Information Sciences, Kansas State University, Manhattan, KS
Matthew J. Craig	Department of Computing and Information Sciences, Kansas State University, Manhattan, KS
Eric Runquist	Department of Computing and Information Sciences, Kansas State University, Manhattan, KS

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 14, Citation Count: 1

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/240678.240715 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	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
	3	Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992 [doi>10.1145/136586.136587]
	4	M. Danelutto, R. Di Meglio, S. Orlando, S. Palagatti, and M. Vanneschi. The P3L Language: An Introduction. Technical Report HPL-PSC-91-29, Hewlett-Packard Labs, Pisa Science Centre, December 1991.
	5	John Darlington , Yi-ke Guo , Hing Wing To , Jin Yang, Parallel skeletons for structured composition, ACM SIGPLAN Notices, v.30 n.8, p.19-28, Aug. 1995
	6	Matthew B. Dwyer , Lori A. Clarke, Data flow analysis for verifying properties of concurrent programs, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.62-75, Dec. 1994
	7	Matthew B. Dwyer , Lori A. Clarke, A flexible architecture for building data flow analyzers, Proceedings of the 18th international conference on Software engineering, p.554-564, March 25-29, 1996, Berlin, Germany
	8	M.B. Dwyer and M.J. Craig. High-level coordination abstractions in stock languages. CIS 96- 9 ,Dept. of Computing and Info. Sciences, Kansas State University, August 1996.
	9	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	10	Matthew S. Hecht, Flow Analysis of Computer Programs, Elsevier Science Inc., New York, NY, 1977
	11	David R. Musser , Atul Saini, The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995
	12	David R. Musser , Alexander A. Stepanov, The Ada Generic Library linear list processing packages, Springer-Verlag New York, Inc., New York, NY, 1989
	13	Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
	14	Sandra Rapps , Elaine J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, v.11 n.4, p.367-375, April 1985 [doi>10.1109/TSE.1985.232226]
	15	Douglas C. Schmidt, Using design patterns to develop reusable object-oriented communication software, Communications of the ACM, v.38 n.10, p.65-74, Oct. 1995 [doi>10.1145/226239.226255]
	16	Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996