2880 search results - page 520 / 576 » Types are calling conventions |
179
click to vote
PPDP
2007
Springer
16 years 22 hour ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
158
click to vote
SEMWEB
2007
Springer
16 years 19 hour ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
164
click to vote
WOLLIC
2007
Springer
16 years 14 hour ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
184
Voted
BROADNETS
2006
IEEE
15 years 12 months ago
2006
IEEE
— Advance reservation is a mechanism to guarantee the availability of resources when they are needed. In the context of LambdaGrid, this mechanism is used to provide data-intensi...
143
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
A large number of vulnerabilities occur because protocol implementations failed to anticipate illegal packets. rfcs typically define what constitute “right” packets relevant ...