5499 search results - page 13 / 1100 » Generalized Rewrite Theories |
AIMS
2007
Springer
14 years 1 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
14 years 1 months ago
2005
Springer
TCS
1998
13 years 7 months ago
1998
HASKELL
2009
ACM
14 years 2 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...
ACL
1996
13 years 9 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, ...