A categorical characterization for the compositional features of the # component model

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A categorical characterization for the compositional features of the # component model

Full text

Pdf (180 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 31 , Issue 2 (March 2006) table of contents

SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005) table of contents

Article No. 12

Year of Publication: 2006

ISSN:0163-5948

Also published in ...

Authors

Francisco Heron de Carvalho Junior	Universidade Federal do Ceará, Fortaleza, Brazil
Rafael Dueire Lins	Universidade Federal de Pernambuco, Rua Acadêmico Hélio Ramos, Recife, Brazil

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 24, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

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

DOI Bookmark:	10.1145/1108768.1123071

ABSTRACT

The # programming model attempts to address the needs of the high performance computing community for new paradigms that reconcile efficiency, portability, abstraction and generality issues on parallel programming for high-end distributed architectures. This paper provides a semantics for the compositional features of # programs, based on category theory.

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	Rob Armstrong , Dennis Gannon , Al Geist , Katarzyna Keahey , Scott Kohn , Lois McInnes , Steve Parker , Brent Smolinski, Toward a Common Component Architecture for High-Performance Scientific Computing, Proceedings of the The Eighth IEEE International Symposium on High Performance Distributed Computing, p.13, August 03-06, 1999
	2	Michael Barr , Charles Wells, Category theory for computing science, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	3	F. Baude, D. Caromel, and M. Morel. From Distributed Objects to Hierarchical Grid Components. In International Symposium on Distributed Objects and Applications. Springer-Verlag, 2003.
	4	Bernholdt D. E. Raising Level of Programming Abstraction in Scalable Programming Models. In IEEE International Conference on High Performance Computer Architecture (HPCA), Workshop on Productivity and Performance in High-End Computing (P-PHEC), pages 76--84. Madrid, Spain, 2004.
	5	F. H. Carvalho Junior and R. D. Lins. The # Model for Parallel Programming: From Processes to Components with Insignificant Performance Overheads. In Workshop on Components and Frameworks for High Performance Computing (CompFrame 2005), June 2005.
	6	Murray Cole, Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming, Parallel Computing, v.30 n.3, p.389-406, March 2004 [doi>10.1016/j.parco.2003.12.002]
	7	Jack Dongarra , Ian Foster , Geoffrey Fox , William Gropp , Ken Kennedy , Linda Torczon , Andy White, Sourcebook of parallel computing, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2003
	8	Joseph A. Goguen , Rod M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM (JACM), v.39 n.1, p.95-146, Jan. 1992 [doi>10.1145/147508.147524]
	9	T. Ito and Y. Nishitani. On Universality of Concurrent Expressions with Synchronization Primitives. Theoretical Computer Science, 19:105--115, 1982.
	10	H. Milli, A. Elkharraz, and H. Mcheick. Understanding Separation of Concerns. In Workshop on Early Aspects - Aspect Oriented Software Development (AOSD'04), pages 411--428, March 2004.