1385 search results - page 26 / 277 » Natural Rewriting for General Term Rewriting Systems |
105
click to vote
CCL
1994
Springer
15 years 3 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
101
click to vote
AAECC
2005
Springer
14 years 11 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
84
Voted
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
VIROLOGY
2008
14 years 11 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...