351 search results - page 8 / 71 » Logic Programs with Compiled Preferences |
JISE
2000
14 years 11 months ago
2000
112
click to vote
PPCP
1993
15 years 3 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
162
click to vote
POPL
2002
ACM
16 years 11 hour ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
188
click to vote
ICFP
2009
ACM
16 years 10 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...