3572 search results - page 93 / 715 » Nominal Logic Programming |
99
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
199
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
91
Voted
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
111
Voted
JUCS
2006
15 years 17 days ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
125
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...