155 search results - page 5 / 31 » Analysis of Imperative XML Programs |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
ICDAR
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
ENTCS
2006
14 years 9 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
102
click to vote
XSYM
2004
Springer
15 years 2 months ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...