3688 search results - page 350 / 738 » Static analysis of aspects |
168
click to vote
DOCENG
2004
ACM
16 years 7 days 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...
204
click to vote
ESOP
2004
Springer
16 years 6 days 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...
173
click to vote
SAS
2004
Springer
16 years 5 days 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...
209
click to vote
ICDAR
2003
IEEE
16 years 3 days 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...
218
click to vote
ICSM
2003
IEEE
16 years 3 days 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 ...