Typechecking for XML transformers
type: Item
instance of: scholarly article
title: Typechecking for XML transformers
zbMATH Open document ID: 1026.68045
DOI: 10.1016/S0022-0000(02)00030-2
author: Tova Milo
author: Dan Suciu
author: Victor Vianu
published in: Journal of Computer and System Sciences
publication date: 2003-06-25T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 1934652
zbMATH Keywords: typechecking problem
describes a project that uses: XPath
MaRDI profile type: Publication
cites work: Regular path queries with constraints
cites work: Translations on a context free grammar
cites work: Q2767135
cites work: Alternation
cites work: Q4269133
cites work: Complexity results for two-way and multi-pebble automata and their logics
cites work: Q4843270
cites work: Regular expression types for XML
cites work: Q4473157
cites work: Q4714446
cites work: Q4385530
description: scientific article; zbMATH DE number 1934652