1087 search results - page 2 / 218 » Eta-Redexes in Partial Evaluation |
LOPSTR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
GCC
2003
Springer
13 years 10 months ago
2003
Springer
Recently, web service is growing more and more popular. Java is a representative language to implement web based services. But its platform independency slows its running speed. Pa...
PEPM
2007
ACM
13 years 11 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
SEUS
2005
IEEE
13 years 11 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
CIKM
2007
Springer
13 years 11 months ago
2007
Springer
XML query languages typically allow the specification of structural patterns of elements. Finding the occurrences of such patterns in an XML tree is the key operation in XML quer...