27 search results - page 1 / 6 » A Tutorial Introduction to Designs in Unifying Theories of P... |
IFM
2004
Springer
13 years 10 months ago
2004
Springer
PSSE
2004
Springer
13 years 10 months ago
2004
Springer
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...
ICLP
2003
Springer
13 years 9 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...
JSC
2010
13 years 3 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...