212
click to vote
PEPM
17 years 2 months ago
2007 ACM 
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
131
click to vote
PEPM
15 years 10 months ago
2007 ACM 
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
130
click to vote
PEPM
15 years 10 months ago
2007 ACM 
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
127
click to vote
PEPM
15 years 10 months ago
2007 ACM
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...
136
click to vote
PEPM
15 years 10 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...
|
Software Engineering