27 search results - page 1 / 6 » A Tutorial Introduction to Designs in Unifying Theories of P... |
97
Voted
IFM
2004
Springer
15 years 5 months ago
2004
Springer
92
Voted
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
152
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
107
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
95
Voted
JSC
2010
14 years 10 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...