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

Authors:
Francisco Heron de Carvalho Junior;Rafael Dueire Lins
Affiliations:
Universidade Federal do Ceará, Fortaleza, Brazil;Universidade Federal de Pernambuco, Rua Acadêmico Hélio Ramos, Recife, Brazil
Venue:
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Year:
2005

Citing 5
Cited 1

Category theory for computing science

Category theory for computing science
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Toward a Common Component Architecture for High-Performance Scientific Computing

HPDC '99 Proceedings of the 8th IEEE International Symposium on High Performance Distributed Computing
Sourcebook of parallel computing

Sourcebook of parallel computing
Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming

Parallel Computing

Compositional Specification of Parallel Components Using Circus

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.