155 search results - page 3 / 31 » Analysis of Imperative XML Programs |
PEPM
2007
ACM
13 years 12 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
POPL
1998
ACM
13 years 10 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
ICTAC
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...