1880 search results - page 235 / 376 » A Static Analysis for Beta-Binders |
161
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
191
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
166
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
201
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a lexical post-processing optimization for handwritten word recognition. The aim of this work is to explore the combination of different lexical postprocessing...
212
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...