228
click to vote
PEPM
17 years 3 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 ...
138
Voted
PEPM
15 years 11 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...
141
Voted
PEPM
15 years 11 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...
134
click to vote
PEPM
15 years 11 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...
146
click to vote
PEPM
15 years 11 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