110 search results - page 2 / 22 » A Tutorial on Proof Theoretic Foundations of Logic Programmi... |
LOGCOM
2011
12 years 8 months ago
2011
JFLP
2002
13 years 5 months ago
2002
We consider prescriptive type systems for logic programs (as in G
INFORMATICALT
2000
13 years 5 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
PEPM
1993
ACM
13 years 9 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
TLCA
2009
Springer
13 years 12 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...