1131 search results - page 189 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
111
click to vote
LOPSTR
2004
Springer
15 years 5 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...
118
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
109
click to vote
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
92
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
AMAST
2008
Springer
15 years 2 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...