Search Sciweavers | Sciweavers

226 search results - page 8 / 46

» Extensional Theories and Rewriting

119

click to vote

AIMS
2007
Springer

89views Computer Networks» more AIMS 2007»

Understanding Promise Theory Using Rewriting Logic

15 years 12 months ago

Download www.iu.hio.no

We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...

Kyrre M. Begnum, Mark Burgess

claim paper

Read More »

170

click to vote

PLILP
1998
Springer

162views Programming Languages» more PLILP 1998»

A Compiler for Rewrite Programs in Associative-Commutative Theories

15 years 10 months ago

Download www.loria.fr

Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...

Pierre-Etienne Moreau, Hélène Kirchn...

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

15 years 11 months ago