4690 search results - page 770 / 938 » An operational semantics for Scheme |
199
click to vote
HOTOS
2003
IEEE
16 years 13 days ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
192
click to vote
CICLING
2003
Springer
16 years 11 days ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
199
click to vote
AINA
2010
IEEE
16 years 7 days ago
2010
IEEE
Our world is increasingly data-driven. The growth and value of data continue to exceed all predictions. Potential for business opportunity, economic growth, scientific discovery, ...
219
click to vote
WOLLIC
2010
Springer
16 years 6 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
308
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...