206
click to vote
PEPM
17 years 1 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 ...
127
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...
126
Voted
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...
123
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...
131
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