Towards Linear Algebras of Components

Citation:
Macedo H, Oliveira JN.  2012.  Towards Linear Algebras of Components. FACS - Formal Aspects of Component Software . 6921:300-303.

Tertiary Title:

LNCS

Date Presented:

October

Abstract:

We show that there is significant foundational work on what could lead to a linear algebra approach to software components. Should these be weighted automata or machines in the sense of Bloom, we show that there is a constructive, fully typed approach to such matrix models. However abstract or primitive these may look to practitioners, they promise the calculation style which is the hallmark of engineering disciplines.

Website

Citation Key:

MO10c

DOI:

10.1007/978-3-642-27269-1_20