A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A Rewrite System with Incomplete Regular Expression Type for Transformation of XML Documents
2005
IPSJ Digital Courier
In this paper we propose a new framework for transformations of XML documents based on an extension of regular expression type, called incomplete regular expression type. Incomplete regular expression type is a restricted second-order extension of regular expression (RE) type: An incomplete RE type can be applied to arbitrary RE types as its arguments. It is accomplished by introducing holes to types. We give a version of second-order rewrite systems, designed founded on our type system.
doi:10.2197/ipsjdc.1.496
fatcat:5jdpjhhwn5eatkmnrapddagw5a