5499 search results - page 13 / 1100 » Generalized Rewrite Theories |
100
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
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...
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
173
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
125
click to vote
ACL
1996
15 years 5 months ago
1996
Context-dependent rewrite rules are used in many areas of natural language and speech processing. Work in computational phonology has demonstrated that, given certain conditions, ...