23201 search results - page 118 / 4641 » Rewriting Systems with Data |
132
click to vote
IFIP
2000
Springer
15 years 9 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
152
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
148
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...
153
click to vote
ENTCS
2006
15 years 5 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
165
click to vote
ENTCS
2006
15 years 5 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...