%PDF-1.4
%
5 0 obj
<< /S /GoTo /D (section*.3) >>
endobj
8 0 obj
(Abstract/R\351sum\351)
endobj
9 0 obj
<< /S /GoTo /D (chapter*.7) >>
endobj
12 0 obj
(List of Figures)
endobj
13 0 obj
<< /S /GoTo /D (chapter*.8) >>
endobj
16 0 obj
(List of Tables)
endobj
17 0 obj
<< /S /GoTo /D (section*.9) >>
endobj
20 0 obj
(List of Symbols)
endobj
21 0 obj
<< /S /GoTo /D (part.1) >>
endobj
24 0 obj
(I Introduction)
endobj
25 0 obj
<< /S /GoTo /D (chapter.1) >>
endobj
28 0 obj
(Introduction)
endobj
29 0 obj
<< /S /GoTo /D (section.1.1) >>
endobj
32 0 obj
(The XML standard)
endobj
33 0 obj
<< /S /GoTo /D (section.1.2) >>
endobj
36 0 obj
(Programming with XML)
endobj
37 0 obj
<< /S /GoTo /D (subsection.1.2.1) >>
endobj
40 0 obj
(Statically typed languages for XML)
endobj
41 0 obj
<< /S /GoTo /D (subsection.1.2.2) >>
endobj
44 0 obj
(Statically and precisely typed are not enough!)
endobj
45 0 obj
<< /S /GoTo /D (section.1.3) >>
endobj
48 0 obj
(A solution)
endobj
49 0 obj
<< /S /GoTo /D (section.1.4) >>
endobj
52 0 obj
(State of the art)
endobj
53 0 obj
<< /S /GoTo /D (subsection.1.4.1) >>
endobj
56 0 obj
(Polymorphic type-systems for XML)
endobj
57 0 obj
<< /S /GoTo /D (subsection.1.4.2) >>
endobj
60 0 obj
(Hard-coded constructs)
endobj
61 0 obj
<< /S /GoTo /D (subsection.1.4.3) >>
endobj
64 0 obj
(Iterator languages)
endobj
65 0 obj
<< /S /GoTo /D (subsection.1.4.4) >>
endobj
68 0 obj
(Tree-transducers, backward type inference)
endobj
69 0 obj
<< /S /GoTo /D (section.1.5) >>
endobj
72 0 obj
(Contributions)
endobj
73 0 obj
<< /S /GoTo /D (subsection.1.5.1) >>
endobj
76 0 obj
(Filters and their semantics \(Chapter 3\))
endobj
77 0 obj
<< /S /GoTo /D (subsection.1.5.2) >>
endobj
80 0 obj
(A type-system for filters \(Chapter 4\))
endobj
81 0 obj
<< /S /GoTo /D (subsection.1.5.3) >>
endobj
84 0 obj
(Type inference algorithm \(Chapter 5\))
endobj
85 0 obj
<< /S /GoTo /D (subsection.1.5.4) >>
endobj
88 0 obj
(Concrete language \(Chapter 6\))
endobj
89 0 obj
<< /S /GoTo /D (subsection.1.5.5) >>
endobj
92 0 obj
(XPath encoding \(Chapter 7\))
endobj
93 0 obj
<< /S /GoTo /D (subsection.1.5.6) >>
endobj
96 0 obj
(Static pruning and typing of XQuery \(Chapter 8\))
endobj
97 0 obj
<< /S /GoTo /D (chapter.2) >>
endobj
100 0 obj
(Notations)
endobj
101 0 obj
<< /S /GoTo /D (section.2.1) >>
endobj
104 0 obj
(Basic notations)
endobj
105 0 obj
<< /S /GoTo /D (section.2.2) >>
endobj
108 0 obj
(Regular trees)
endobj
109 0 obj
<< /S /GoTo /D (subsection.2.2.1) >>
endobj
112 0 obj
(Symbols)
endobj
113 0 obj
<< /S /GoTo /D (subsection.2.2.2) >>
endobj
116 0 obj
(Trees)
endobj
117 0 obj
<< /S /GoTo /D (subsection.2.2.3) >>
endobj
120 0 obj
(Explicit recursion)
endobj
121 0 obj
<< /S /GoTo /D (subsection.2.2.4) >>
endobj
124 0 obj
(Properties)
endobj
125 0 obj
<< /S /GoTo /D (section.2.3) >>
endobj
128 0 obj
(Proofs and trees)
endobj
129 0 obj
<< /S /GoTo /D (subsection.2.3.1) >>
endobj
132 0 obj
(Inference systems, derivations)
endobj
133 0 obj
<< /S /GoTo /D (subsection.2.3.2) >>
endobj
136 0 obj
(Induction and coinduction)
endobj
137 0 obj
<< /S /GoTo /D (section.2.4) >>
endobj
140 0 obj
(CDuce)
endobj
141 0 obj
<< /S /GoTo /D (subsection.2.4.1) >>
endobj
144 0 obj
(Values)
endobj
145 0 obj
<< /S /GoTo /D (subsection.2.4.2) >>
endobj
148 0 obj
(Types)
endobj
149 0 obj
<< /S /GoTo /D (subsection.2.4.3) >>
endobj
152 0 obj
(Patterns)
endobj
153 0 obj
<< /S /GoTo /D (part.2) >>
endobj
156 0 obj
(II Filter calculus)
endobj
157 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
160 0 obj
(Filters)
endobj
161 0 obj
<< /S /GoTo /D (section.3.1) >>
endobj
164 0 obj
(Rationale)
endobj
165 0 obj
<< /S /GoTo /D (section.3.2) >>
endobj
168 0 obj
(Filter calculus)
endobj
169 0 obj
<< /S /GoTo /D (section.3.3) >>
endobj
172 0 obj
(Operational semantics)
endobj
173 0 obj
<< /S /GoTo /D (section.3.4) >>
endobj
176 0 obj
(Examples)
endobj
177 0 obj
<< /S /GoTo /D (subsection.3.4.1) >>
endobj
180 0 obj
(Simple filters)
endobj
181 0 obj
<< /S /GoTo /D (subsection.3.4.2) >>
endobj
184 0 obj
(Alternative, first match policy)
endobj
185 0 obj
<< /S /GoTo /D (subsection.3.4.3) >>
endobj
188 0 obj
(Recursive filters)
endobj
189 0 obj
<< /S /GoTo /D (subsection.3.4.4) >>
endobj
192 0 obj
(Composition)
endobj
193 0 obj
<< /S /GoTo /D (section.3.5) >>
endobj
196 0 obj
(Termination)
endobj
197 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
200 0 obj
(Static semantics)
endobj
201 0 obj
<< /S /GoTo /D (section.4.1) >>
endobj
204 0 obj
(Type-system)
endobj
205 0 obj
<< /S /GoTo /D (subsection.4.1.1) >>
endobj
208 0 obj
(General presentation)
endobj
209 0 obj
<< /S /GoTo /D (subsection.4.1.2) >>
endobj
212 0 obj
(Typing the composition)
endobj
213 0 obj
<< /S /GoTo /D (subsection.4.1.3) >>
endobj
216 0 obj
(Typing the union)
endobj
217 0 obj
<< /S /GoTo /D (section.4.2) >>
endobj
220 0 obj
(Properties)
endobj
221 0 obj
<< /S /GoTo /D (subsection.4.2.1) >>
endobj
224 0 obj
(Use of the subsumption)
endobj
225 0 obj
<< /S /GoTo /D (subsection.4.2.2) >>
endobj
228 0 obj
(Subject reduction)
endobj
229 0 obj
<< /S /GoTo /D (subsection.4.2.3) >>
endobj
232 0 obj
(Monotonicity)
endobj
233 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
236 0 obj
(Type inference)
endobj
237 0 obj
<< /S /GoTo /D (section.5.1) >>
endobj
240 0 obj
(Presentation)
endobj
241 0 obj
<< /S /GoTo /D (section.5.2) >>
endobj
244 0 obj
(Type-inference Algorithm)
endobj
245 0 obj
<< /S /GoTo /D (section.5.3) >>
endobj
248 0 obj
(Properties)
endobj
249 0 obj
<< /S /GoTo /D (subsection.5.3.1) >>
endobj
252 0 obj
(Termination)
endobj
253 0 obj
<< /S /GoTo /D (subsection.5.3.2) >>
endobj
256 0 obj
(Soundness)
endobj
257 0 obj
<< /S /GoTo /D (subsection.5.3.3) >>
endobj
260 0 obj
(Completeness)
endobj
261 0 obj
<< /S /GoTo /D (part.3) >>
endobj
264 0 obj
(III Implementation)
endobj
265 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
268 0 obj
(Concrete language)
endobj
269 0 obj
<< /S /GoTo /D (section.6.1) >>
endobj
272 0 obj
(Introduction)
endobj
273 0 obj
<< /S /GoTo /D (subsection.6.1.1) >>
endobj
276 0 obj
(Basic syntax)
endobj
277 0 obj
<< /S /GoTo /D (subsection.6.1.2) >>
endobj
280 0 obj
(XML filters)
endobj
281 0 obj
<< /S /GoTo /D (subsection.6.1.3) >>
endobj
284 0 obj
(Recursive filters)
endobj
285 0 obj
<< /S /GoTo /D (subsection.6.1.4) >>
endobj
288 0 obj
(Filter annotations)
endobj
289 0 obj
<< /S /GoTo /D (section.6.2) >>
endobj
292 0 obj
(Examples)
endobj
293 0 obj
<< /S /GoTo /D (subsection.6.2.1) >>
endobj
296 0 obj
(Pattern-matching)
endobj
297 0 obj
<< /S /GoTo /D (subsection.6.2.2) >>
endobj
300 0 obj
(Map-like filters)
endobj
301 0 obj
<< /S /GoTo /D (subsection.6.2.3) >>
endobj
304 0 obj
(Non local transformations)
endobj
305 0 obj
<< /S /GoTo /D (subsection.6.2.4) >>
endobj
308 0 obj
(Annotations)
endobj
309 0 obj
<< /S /GoTo /D (section.6.3) >>
endobj
312 0 obj
(Syntactic extensions)
endobj
313 0 obj
<< /S /GoTo /D (subsection.6.3.1) >>
endobj
316 0 obj
(Deletion)
endobj
317 0 obj
<< /S /GoTo /D (subsection.6.3.2) >>
endobj
320 0 obj
(Filter parameters)
endobj
321 0 obj
<< /S /GoTo /D (subsection.6.3.3) >>
endobj
324 0 obj
(Regular expression filters)
endobj
325 0 obj
<< /S /GoTo /D (section.6.4) >>
endobj
328 0 obj
(Type inference algorithm)
endobj
329 0 obj
<< /S /GoTo /D (section.6.5) >>
endobj
332 0 obj
(Compilation)
endobj
333 0 obj
<< /S /GoTo /D (subsection.6.5.1) >>
endobj
336 0 obj
(Compilation target)
endobj
337 0 obj
<< /S /GoTo /D (subsection.6.5.2) >>
endobj
340 0 obj
(Tail-recursive list traversal)
endobj
341 0 obj
<< /S /GoTo /D (subsection.6.5.3) >>
endobj
344 0 obj
(Filter specialization)
endobj
345 0 obj
<< /S /GoTo /D (subsection.6.5.4) >>
endobj
348 0 obj
(Evaluation without backtracking)
endobj
349 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
352 0 obj
(XPath encoding, approximations)
endobj
353 0 obj
<< /S /GoTo /D (section.7.1) >>
endobj
356 0 obj
(XPath-like expressions)
endobj
357 0 obj
<< /S /GoTo /D (subsection.7.1.1) >>
endobj
360 0 obj
(XPatht expression, automata)
endobj
361 0 obj
<< /S /GoTo /D (subsection.7.1.2) >>
endobj
364 0 obj
(Filter encoding)
endobj
365 0 obj
<< /S /GoTo /D (section.7.2) >>
endobj
368 0 obj
(Type annotations)
endobj
369 0 obj
<< /S /GoTo /D (section.7.3) >>
endobj
372 0 obj
(XPath and XPatht)
endobj
373 0 obj
<< /S /GoTo /D (subsection.7.3.1) >>
endobj
376 0 obj
(Basic features)
endobj
377 0 obj
<< /S /GoTo /D (subsection.7.3.2) >>
endobj
380 0 obj
(Predicates)
endobj
381 0 obj
<< /S /GoTo /D (chapter.8) >>
endobj
384 0 obj
(Type-based XML projection)
endobj
385 0 obj
<< /S /GoTo /D (section.8.1) >>
endobj
388 0 obj
(Document pruning)
endobj
389 0 obj
<< /S /GoTo /D (section.8.2) >>
endobj
392 0 obj
(Notations)
endobj
393 0 obj
<< /S /GoTo /D (subsection.8.2.1) >>
endobj
396 0 obj
(Data Model)
endobj
397 0 obj
<< /S /GoTo /D (subsection.8.2.2) >>
endobj
400 0 obj
(DTDs and validation)
endobj
401 0 obj
<< /S /GoTo /D (subsection.8.2.3) >>
endobj
404 0 obj
(Type projectors)
endobj
405 0 obj
<< /S /GoTo /D (section.8.3) >>
endobj
408 0 obj
(XPath and XPath)
endobj
409 0 obj
<< /S /GoTo /D (subsection.8.3.1) >>
endobj
412 0 obj
(Simple paths)
endobj
413 0 obj
<< /S /GoTo /D (subsection.8.3.2) >>
endobj
416 0 obj
(Predicates)
endobj
417 0 obj
<< /S /GoTo /D (subsection.8.3.3) >>
endobj
420 0 obj
(Handling XPath predicates)
endobj
421 0 obj
<< /S /GoTo /D (section.8.4) >>
endobj
424 0 obj
(Static Analysis)
endobj
425 0 obj
<< /S /GoTo /D (subsection.8.4.1) >>
endobj
428 0 obj
(Type inference)
endobj
429 0 obj
<< /S /GoTo /D (subsection.8.4.2) >>
endobj
432 0 obj
(Type-Projection inference)
endobj
433 0 obj
<< /S /GoTo /D (subsection.8.4.3) >>
endobj
436 0 obj
(Adding sibling, preceding and following axes. )
endobj
437 0 obj
<< /S /GoTo /D (section.8.5) >>
endobj
440 0 obj
(Extension to XQuery)
endobj
441 0 obj
<< /S /GoTo /D (section.8.6) >>
endobj
444 0 obj
(Experiments)
endobj
445 0 obj
<< /S /GoTo /D (part.4) >>
endobj
448 0 obj
(IV Conclusion)
endobj
449 0 obj
<< /S /GoTo /D (chapter.9) >>
endobj
452 0 obj
(Conclusion)
endobj
453 0 obj
<< /S /GoTo /D (section.9.1) >>
endobj
456 0 obj
(Summary)
endobj
457 0 obj
<< /S /GoTo /D (section.9.2) >>
endobj
460 0 obj
(Future work)
endobj
461 0 obj
<< /S /GoTo /D (subsection.9.2.1) >>
endobj
464 0 obj
(Dynamic semantics, expressivity)
endobj
465 0 obj
<< /S /GoTo /D (subsection.9.2.2) >>
endobj
468 0 obj
(Type-system, approximations)
endobj
469 0 obj
<< /S /GoTo /D (subsection.9.2.3) >>
endobj
472 0 obj
(Concrete language, compilation)
endobj
473 0 obj
<< /S /GoTo /D (subsection.9.2.4) >>
endobj
476 0 obj
(XPath encoding)
endobj
477 0 obj
<< /S /GoTo /D (subsection.9.2.5) >>
endobj
480 0 obj
(Type projectors)
endobj
481 0 obj
<< /S /GoTo /D (subsection.9.2.6) >>
endobj
484 0 obj
(To infinity\203 and beyond!)
endobj
485 0 obj
<< /S /GoTo /D (part*.14) >>
endobj
488 0 obj
(Appendix)
endobj
489 0 obj
<< /S /GoTo /D (chapter*.15) >>
endobj
492 0 obj
(R\351sum\351 \351tendu)
endobj
493 0 obj
<< /S /GoTo /D (section.10.1) >>
endobj
496 0 obj
(Contexte)
endobj
497 0 obj
<< /S /GoTo /D (section.10.2) >>
endobj
500 0 obj
(Programmer avec XML)
endobj
501 0 obj
<< /S /GoTo /D (subsection.10.2.1) >>
endobj
504 0 obj
(Langages statiquement typ\351s pour XML)
endobj
505 0 obj
<< /S /GoTo /D (subsection.10.2.2) >>
endobj
508 0 obj
(\253Y'a pas que le statique et le pr\351cis dans la vie \273)
endobj
509 0 obj
<< /S /GoTo /D (subsection.10.2.3) >>
endobj
512 0 obj
(Une solution)
endobj
513 0 obj
<< /S /GoTo /D (section.10.3) >>
endobj
516 0 obj
(\311tat de l'art)
endobj
517 0 obj
<< /S /GoTo /D (subsection.10.3.1) >>
endobj
520 0 obj
(Syst\350me de types polymorphes pour XML)
endobj
521 0 obj
<< /S /GoTo /D (subsection.10.3.2) >>
endobj
524 0 obj
(It\351rateurs pr\351d\351finis)
endobj
525 0 obj
<< /S /GoTo /D (subsection.10.3.3) >>
endobj
528 0 obj
(Langages d'it\351rateurs)
endobj
529 0 obj
<< /S /GoTo /D (subsection.10.3.4) >>
endobj
532 0 obj
(Transducteurs d'arbres et inf\351rence de type arri\350re)
endobj
533 0 obj
<< /S /GoTo /D (section.10.4) >>
endobj
536 0 obj
(Contributions)
endobj
537 0 obj
<< /S /GoTo /D (subsection.10.4.1) >>
endobj
540 0 obj
(Les filtres et leur s\351mantique \(chapitre 3\))
endobj
541 0 obj
<< /S /GoTo /D (subsection.10.4.2) >>
endobj
544 0 obj
(Syst\350me de type \(chapitre 4\))
endobj
545 0 obj
<< /S /GoTo /D (subsection.10.4.3) >>
endobj
548 0 obj
(Algorithme d'inf\351rence de type \(chapitre 5\))
endobj
549 0 obj
<< /S /GoTo /D (subsection.10.4.4) >>
endobj
552 0 obj
(Langage concret, implantation \(chapitre 6\))
endobj
553 0 obj
<< /S /GoTo /D (subsection.10.4.5) >>
endobj
556 0 obj
(Encodage d'XPath \(chapitre 7\))
endobj
557 0 obj
<< /S /GoTo /D (subsection.10.4.6) >>
endobj
560 0 obj
(\311lagage statique et typage d'XQuery \(chapitre 8\))
endobj
561 0 obj
<< /S /GoTo /D (section.10.5) >>
endobj
564 0 obj
(Conclusion et travaux futurs)
endobj
565 0 obj
<< /S /GoTo /D (section*.18) >>
endobj
568 0 obj
(Bibliography)
endobj
569 0 obj
<< /S /GoTo /D [570 0 R /Fit ] >>
endobj
572 0 obj <<
/Length 973
/Filter /FlateDecode
>>
stream
xڭVKs6W@5n43Dchي@d2ɯ$JFc~A3r?_~z)5[)ZZ3938|-
J`A`m&4`gA+\9^,ggDsf
[FѪ}DP՛֣B(AghL&4ALaPF&(Kv&22VAe"?ueIq*OU)űr<Lb%<-GDw ';6h.8d)b54v͛Yr1IEWm}[5y_nNvp鏫7#)ՠh6m*jo"@k\,uc:SRwC`I86t~*06 m0T,`lԀȠ[ )8$:/m+oۡ/!v<5 GIp~aʫ1)5bR2%BNR,Z!aq"*]hL@1$^~S$"I,o
~eIr)3q}MƷBA\1cnnW5y,m+_pqj{PJa<7ROQV](c*}
P-Y_@UD{kxEl$3FDJlM
~|[(3㺶9dJ E6_~knSBrwdX0CӁL/a[v]1= Э_ |w}Վ"f@}!W3xѵ3Ȉ]:5J#1n3u
z>6~&u s_ur2EBU^0tWb9 ]MD_O4֜?)jSuC}{I1t
endstream
endobj
570 0 obj <<
/Type /Page
/Contents 572 0 R
/Resources 571 0 R
/MediaBox [0 0 595.913 842.74]
/Parent 577 0 R
>> endobj
573 0 obj <<
/D [570 0 R /XYZ 99.213 774.092 null]
>> endobj
574 0 obj <<
/D [570 0 R /XYZ 99.213 742.911 null]
>> endobj
571 0 obj <<
/Font << /F57 575 0 R /F62 576 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
580 0 obj <<
/Length 19
/Filter /FlateDecode
>>
stream
x3PHW0Pp2A c(
endstream
endobj
579 0 obj <<
/Type /Page
/Contents 580 0 R
/Resources 578 0 R
/MediaBox [0 0 595.913 842.74]
/Parent 577 0 R
>> endobj
581 0 obj <<
/D [579 0 R /XYZ 70.866 774.092 null]
>> endobj
578 0 obj <<
/ProcSet [ /PDF ]
>> endobj
584 0 obj <<
/Length 19
/Filter /FlateDecode
>>
stream
x3PHW0Pp2A c(
endstream
endobj
583 0 obj <<
/Type /Page
/Contents 584 0 R
/Resources 582 0 R
/MediaBox [0 0 595.913 842.74]
/Parent 577 0 R
>> endobj
585 0 obj <<
/D [583 0 R /XYZ 99.213 774.092 null]
>> endobj
582 0 obj <<
/ProcSet [ /PDF ]
>> endobj
588 0 obj <<
/Length 19
/Filter /FlateDecode
>>
stream
x3PHW0Pp2A c(
endstream
endobj
587 0 obj <<
/Type /Page
/Contents 588 0 R
/Resources 586 0 R
/MediaBox [0 0 595.913 842.74]
/Parent 577 0 R
>> endobj
589 0 obj <<
/D [587 0 R /XYZ 70.866 774.092 null]
>> endobj
586 0 obj <<
/ProcSet [ /PDF ]
>> endobj
592 0 obj <<
/Length 3021
/Filter /FlateDecode
>>
stream
xڍYYo8~_d5P؇EI&A3 K]a[Ւ-cAd*^U_}EN>|{Rӑfi]
$vW?o{`8~hw&`ݲʷ~A9^8F%0I}Eq&[N]2#,SgG;
6D~w*n|k$9e>HJ7e"/تYrY'R1LNE="X$>O6O`'< k.UAv#nkgA.0`4>)MAnS#sySJ7Q+K>mǧ6)NV^#H3^{C}tXȭ̹:L"Y[Ep^m/JGM̻m{@xbA^ VQhK>pl]\Ch^lb0 pЌZ)
CE1!]Ð0d5pW}?4-Nl2gs7OlNPDVJF94 \[:{&sܲ,ZjVgdOV>[ C:#k(@V~k]tA߉9t\,ER@A|z+e TQ $*!=N^-l{kaƑ,+-%8犘cı mU3Z|EѫX#V%_L2Ήl,~Mx%{?pZ&.k(A]}:F8(FGu 4VU,fz