10666 search results - page 1484 / 2134 » Quantum programming languages |
294
click to vote
PPSWR
2005
Springer
16 years 20 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
167
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
173
click to vote
IWMM
2004
Springer
16 years 16 days ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
191
click to vote
MPC
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
173
click to vote
RTA
2004
Springer
16 years 16 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...