Corradini, Andrea and Gadducci, Fabio and Kahl, W. (2000) Term Graph Syntax for Multi-Algebras. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (151Kb) |
Abstract
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. Starting from a functorial presentation of multi-algebras based on "gs-monoidal theories" we argue that specifications for multi-algebras should be based on the notion of term graphs instead of on standard terms. We consider the simplest case of (term graph) equational specification, showing that it enjoys an unrestricted form of substitutivity. We discuss the expressive power of equational specification for multi-algebras, and we sketch possible extensions of the calculus.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Multi-Algebras, Functorial Semantics, Term Graphs, Equational Deduction |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 27 Jan 2015 10:30 |
Last Modified: | 27 Jan 2015 10:30 |
URI: | http://eprints.adm.unipi.it/id/eprint/2029 |
Repository staff only actions
View Item |