3020 search results - page 1 / 604 » Type Analysis of Prolog Using Type Graphs |
PLDI
1994
ACM
13 years 9 months ago
1994
ACM
PADL
2004
Springer
13 years 10 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
FLOPS
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
JOLLI
2006
13 years 5 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...