5377 search results - page 1013 / 1076 » Programming Languages For Interactive Computing |
123
Voted
LICS
2010
IEEE
15 years 8 days ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
132
click to vote
LPAR
2010
Springer
15 years 8 days ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
129
Voted
IJPP
2010
14 years 11 months ago
2010
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
126
Voted
EOR
2011
14 years 9 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
125
click to vote
TKDE
2010
14 years 9 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...