159
click to vote
PEPM
16 years 10 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 ...
PEPM
15 years 6 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...
PEPM
15 years 6 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...
PEPM
15 years 6 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...
PEPM
15 years 6 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