An Institutional Theory for #-Components

https://doi.org/10.1016/j.entcs.2007.08.029Get rights and content
Under a Creative Commons license
open access

Abstract

The # (hash) component model has been proposed to bring the advantages of a component-based perspective of software for the development of high performance computing applications, targeting computer architectures enabled for grid, cluster and capability computing. In simple terms, it is a component model for general purpose parallel programming targeting distributed architectures. This paper presents an institutional theory for #-components, which has originated the idea of introducing parameterized and recursive abstract component types in # programming systems, making possible a general notion of skeletal programming.

Keywords

Theory of institutions
category theory
components
parallel programming

Cited by (0)

1

Thanks to CNPq for the financial support (grant 475826/2006-0).