4690 search results - page 35 / 938 » An operational semantics for Scheme |
ESOP
2001
Springer
14 years 6 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
SCP
2010
13 years 6 months ago
2010
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
CW
2002
IEEE
14 years 20 days ago
2002
IEEE
For sparse array operations, in general, the sparse arrays are compressed by some data compression schemes in order to obtain better performance. The Compressed Row/Column Storage...
AICCSA
2006
IEEE
13 years 9 months ago
2006
IEEE
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
MPC
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...