3481 search results - page 540 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
138
Voted
PEPM
2004
ACM
15 years 8 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
143
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
108
Voted
LCPC
2001
Springer
15 years 8 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...
128
Voted
LOPSTR
2001
Springer
15 years 8 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...
141
Voted
DBPL
1999
Springer
15 years 7 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...