4139 search results - page 337 / 828 » Designing and Implementing Combinator Languages |
175
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
185
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
181
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
187
click to vote
PPDP
2004
Springer
16 years 11 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
190
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: A new efficient type I architecture for motion estimation in video sequences based on the Full-Search Block-Matching (FSBM) algorithm is proposed in this paper. This architecture...