174 search results - page 29 / 35 » Efficient Intensional Implementation for Lazy Functional Lan... |
PEPM
1992
ACM
13 years 11 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
TSE
1998
13 years 7 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
DATE
2000
IEEE
14 years 3 days ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
CAL
2006
13 years 7 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...