Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/8451
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | MARTENS, Wim | - |
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | GYSSENS, Marc | - |
dc.date.accessioned | 2008-09-08T08:13:56Z | - |
dc.date.available | 2008-09-08T08:13:56Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | INFORMATION AND COMPUTATION, 206(7). p. 806-827 | - |
dc.identifier.issn | 0890-5401 | - |
dc.identifier.uri | http://hdl.handle.net/1942/8451 | - |
dc.description.abstract | Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this general setting, both the input and output schema as well as the transformation are part of the input for the problem. However, scenarios where the input or output schema can be considered to be fixed, are quite common in practice. In the present work, we investigate the computational complexity of the typechecking problem in the latter setting. (c) 2008 Elsevier Inc. All rights reserved. | - |
dc.language.iso | en | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.subject.other | XML; XSLT; tree transformations; typechecking; unranked tree transducers; complexity | - |
dc.title | Typechecking top-down XML transformations: Fixed input or output schemas | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 827 | - |
dc.identifier.issue | 7 | - |
dc.identifier.spage | 806 | - |
dc.identifier.volume | 206 | - |
local.format.pages | 22 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | Tech Univ Dortmund, Lehrstuhl Informat 1, D-44221 Dortmund, Germany. Transnatl Univ Limburg, B-3590 Diepenbeek, Belgium. Hasselt Unit, B-3590 Diepenbeek, Belgium. | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1016/j.ic.2008.01.002 | - |
dc.identifier.isi | 000258015900002 | - |
item.accessRights | Open Access | - |
item.fullcitation | MARTENS, Wim; NEVEN, Frank & GYSSENS, Marc (2008) Typechecking top-down XML transformations: Fixed input or output schemas. In: INFORMATION AND COMPUTATION, 206(7). p. 806-827. | - |
item.contributor | MARTENS, Wim | - |
item.contributor | NEVEN, Frank | - |
item.contributor | GYSSENS, Marc | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 2009 | - |
crisitem.journal.issn | 0890-5401 | - |
crisitem.journal.eissn | 1090-2651 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Typechecking.pdf | Non Peer-reviewed author version | 359.12 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
13
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
11
checked on Apr 23, 2024
Page view(s)
62
checked on Sep 7, 2022
Download(s)
114
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.