498 search results - page 14 / 100 » Term Rewriting |
CADE
2001
Springer
15 years 10 months ago
2001
Springer
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
DBSEC
2007
14 years 11 months ago
2007
Abstract. Despite the widespread adoption of Role-based Access Control (RBAC) models, new access control models are required for new applications for which RBAC may not be especial...
COLING
1992
14 years 10 months ago
1992
In machine translation (MT) dierent levels of representation can be used to translate a source language sentence onto its target language equivalent. These levels have to be relat...
RTA
2009
Springer
15 years 4 months ago
2009
Springer
73
Voted
RTA
2004
Springer
15 years 3 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...