1880 search results - page 96 / 376 » A Static Analysis for Beta-Binders |
103
click to vote
SERP
2004
15 years 1 months ago
2004
One of the biggest problems of software development is the management of software quality, both in terms of defects and easiness of maintenance. Software production and evolution ...
122
click to vote
AROBOTS
2011
14 years 6 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper presents a new approach for Handwritten Word Recognition based on Hidden Markov Model theory and the sliding window technique. The new approach uses specific singularit...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...