495 search results - page 79 / 99 » Extensible Proof-Producing Compilation |
POPL
2004
ACM
14 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
We are presenting a framework for continuous querying of time-varying streamed XML data. A continuous stream in our framework consists of a finite XML document followed by a conti...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
The ever increasing size of networks has resulted in a corresponding escalation of administration costs and lengthy deployment cycles. Clearly, more scalable and flexible network...