592 search results - page 3 / 119 » Static analysis of XML processing with data values |
EPEW
2005
Springer
13 years 11 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
ADC
2004
Springer
13 years 11 months ago
2004
Springer
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible ...
DOCENG
2007
ACM
13 years 9 months ago
2007
ACM
Document Object Modeling (DOM) is widely used approach for retrieving data from an XML document. If the size of the XML document is very large, however, using the DOM approach for...
SP
2008
IEEE
14 years 4 days ago
2008
IEEE
Web applications are ubiquitous, perform missioncritical tasks, and handle sensitive user data. Unfortunately, web applications are often implemented by developers with limited se...
FM
2009
Springer
14 years 9 days ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...