Results 1 
5 of
5
A Functorial Semantics for MultiAlgebras and Partial Algebras, With Applications to Syntax
, 2000
"... Multialgebras allow for the modeling of nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multialgebras and partial algebras, analogous to the classica ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
Multialgebras allow for the modeling of nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multialgebras and partial algebras, analogous to the classical presentation of algebras over a signature as cartesian functors from the algebraic theory over to Set. We introduce two dierent notions of theory over a signature, both having a structure weaker than cartesian, and we consider functors from them to Rel or Pfn, the categories of sets and relations or partial functions, respectively. Next we discuss how the functorial presentation provides guidelines for the choice of syntactical notions for a class of algebras, and as an application we argue that the natural generalization of usual terms are \conditioned terms" for partial algebras, and \term graphs" for multialgebras. Contents 1 Introduction 2 2 A short recap on multialgebras 4 3...
Declarative Assembler
, 2004
"... Abstract. As part of a larger project, we have built a declarative assembly language. This language enables us to specify multiple code paths to compute particular quantities, giving the instruction scheduler more flexibility in balancing execution resources for superscalar execution. The instructio ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. As part of a larger project, we have built a declarative assembly language. This language enables us to specify multiple code paths to compute particular quantities, giving the instruction scheduler more flexibility in balancing execution resources for superscalar execution. The instruction scheduler is also innovative in that it includes aggressive pipelining, and exhaustive (but lazy) search for optimal instruction schedules. We present some examples where our approach has produced very promising results. 1
Inequational Deduction as Term Graph Rewriting
"... Multialgebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a simple inequational deduction system, based on term graphs, for inferring inclusions of derived relations in a multialgeb ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Multialgebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a simple inequational deduction system, based on term graphs, for inferring inclusions of derived relations in a multialgebra, and we show that term graph rewriting provides a sound and complete implementation of it.
Appligraph: Applications of Graph Transformation  Fourth Annual Progress Report
, 2001
"... This report summarizes the activities in the fourth year of the ESPRIT Working Group APPLIGRAPH, covering the period from April 1, 2000, to March 31, 2001. The principal objective of this Working Group is to promote applied graph transformation as a rulebased framework for the specication and devel ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This report summarizes the activities in the fourth year of the ESPRIT Working Group APPLIGRAPH, covering the period from April 1, 2000, to March 31, 2001. The principal objective of this Working Group is to promote applied graph transformation as a rulebased framework for the specication and development of systems, languages, and tools and to improve the awareness of its industrial relevance
The Tile Model  Errata to draft available on the net
"... xtend Definition 13, in order to include also the new concept of algebraicity. In the first version it is was stated as follows. Definition 13 (tile functoriality). Let R = h\Sigma oe ; \Sigma ; N;Ri be an ars. A symmetric equivalence relation =f` A(\Sigma oe ) \Theta A(\Sigma oe ) is functorial ..."
Abstract
 Add to MetaCart
xtend Definition 13, in order to include also the new concept of algebraicity. In the first version it is was stated as follows. Definition 13 (tile functoriality). Let R = h\Sigma oe ; \Sigma ; N;Ri be an ars. A symmetric equivalence relation =f` A(\Sigma oe ) \Theta A(\Sigma oe ) is functorial for R if, whenever s =f t; s 0 =f t 0 for generic s; s 0 ; t; t 0 elements of A(\Sigma oe ), then s; s 0 =f t; t 0 (whenever defined) and s