- Suche

- Kontakt

Formal Products Families for Abstract Machines

A. Zelend
erschienen 2011 in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science PhD Programme (RAMiCS 12), 2011.

Abstract: We present a model of product family algebra using the semantics of abstract machines as defined in the B-Method. In this model we can compose families of machines to build larger ones in an incremental way.