2173 search results - page 273 / 435 » An operational semantics for skeletons |
180
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
205
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
157
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
158
click to vote
EDBTW
2004
Springer
15 years 12 months ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
212
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...