8766 search results - page 134 / 1754 » Functional logic programming |
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
121
click to vote
POPL
1999
ACM
15 years 2 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...