-
1
Translating canonical SQL to imperative code in Coq
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
2
Commutativity Analysis for XML Updates
Veröffentlicht in ACM transactions on database systems
VolltextArtikel -
3
Prototyping a query compiler using Coq (experience report)
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
4
-
5
Integrity constraints for XML
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
6
-
7
-
8
Adaptive XML shredding: Architecture, implementation, and challenges
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
9
-
10
-
11
-
12
A unified constraint model for XML
Veröffentlicht in Computer networks (Amsterdam, Netherlands : 1999)
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20