850 search results - page 66 / 170 » A Logic Programming Language Based on Binding Algebras |
118
click to vote
AGP
1997
IEEE
15 years 5 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
135
click to vote
LICS
1992
IEEE
15 years 5 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
114
click to vote
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
137
click to vote
RR
2010
Springer
14 years 11 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
119
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...