5499 search results - page 19 / 1100 » Generalized Rewrite Theories |
ACS
2007
14 years 12 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
103
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
DLT
2001
15 years 1 months ago
2001
179
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
CTCS
1997
Springer
15 years 4 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...