4719 search results - page 548 / 944 » Spreadsheet functional programming |
119
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
143
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
122
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...
262
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
224
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...