110 search results - page 2 / 22 » A Tutorial on Proof Theoretic Foundations of Logic Programmi... |
LOGCOM
2011
12 years 9 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 6 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 10 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
14 years 21 days 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...