525 search results - page 4 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
ALP
1994
Springer
13 years 10 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
LOPSTR
2005
Springer
13 years 12 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
CSCW
2000
ACM
13 years 10 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
PPDP
2005
Springer
13 years 12 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...