2173 search results - page 230 / 435 » An operational semantics for skeletons |
204
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
180
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
110
Voted
OSDI
2002
ACM
16 years 29 days ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
90
Voted
ICFP
2003
ACM
16 years 19 days ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
101
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...