On the tree-transformation power of XSLT
Na minha lista:
| Publicado no: | Acta Informatica vol. 43, no. 6 (Jan 2007), p. 371-393 |
|---|---|
| Autor principal: | |
| Outros Autores: | , |
| Publicado em: |
Springer Nature B.V.
|
| Assuntos: | |
| Acesso em linha: | Citation/Abstract Full Text Full Text - PDF |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 275085558 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0001-5903 | ||
| 022 | |a 1432-0525 | ||
| 024 | 7 | |a 10.1007/s00236-006-0026-8 |2 doi | |
| 035 | |a 275085558 | ||
| 045 | 2 | |b d20070101 |b d20070131 | |
| 084 | |a 65711 |2 nlm | ||
| 100 | 1 | |a Janssen, Wim | |
| 245 | 1 | |a On the tree-transformation power of XSLT | |
| 260 | |b Springer Nature B.V. |c Jan 2007 | ||
| 513 | |a Feature | ||
| 520 | 3 | |a XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in transition from version 1.0 to 2.0. In order to understand the computational consequences of this transition, we restrict XSLT to its pure tree-transformation capabilities. Under this focus, we observe that XSLT 1.0 was not yet a computationally complete tree-transformation language: every 1.0 program can be implemented in exponential time, using a DAG representation of trees. A crucial new feature of version 2.0, however, which allows node sets over temporary trees, yields completeness. We provide a formal operational semantics for XSLT programs, and establish confluence for this semantics. [PUBLICATION ABSTRACT] | |
| 653 | |a Studies | ||
| 653 | |a Programming languages | ||
| 653 | |a Extensible Markup Language | ||
| 653 | |a Computer programming | ||
| 653 | |a Simulation | ||
| 653 | |a Data models | ||
| 653 | |a Power | ||
| 653 | |a Semantics | ||
| 653 | |a Trees | ||
| 700 | 1 | |a Korlyukov, Alexandr | |
| 700 | 1 | |a Van den Bussche, Jan | |
| 773 | 0 | |t Acta Informatica |g vol. 43, no. 6 (Jan 2007), p. 371-393 | |
| 786 | 0 | |d ProQuest |t ABI/INFORM Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/275085558/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text |u https://www.proquest.com/docview/275085558/fulltext/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/275085558/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |