3738 search results - page 564 / 748 » Parametrized Logic Programming |
84
Voted
LCPC
2001
Springer
15 years 5 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
102
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...
AGP
1999
IEEE
15 years 4 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
114
click to vote
DBPL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
108
Voted
ERLANG
2007
ACM
15 years 4 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...