Type-based specialization of XML transformations

Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

It is often convenient to write a function and apply it to a specific input. However, a program developed in this way may be inefficient to evaluate and difficult to analyze due to its generality. In this paper, we propose a technique of new specialization for a class of XML transformations, in which no output of a function can be decomposed or traversed. Our specialization is type-based in the sense that it uses the structures of input types; types are described by regular hedge grammars and subtyping is defined settheoretically.The specialization always terminates, resulting in a program where every function is fully specialized and only accepts its rigid input. We present several interesting applications of our new specialization, especially for injectivity analysis.

Original languageEnglish
Title of host publicationProceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
Pages61-71
Number of pages11
DOIs
Publication statusPublished - 2009 Jul 23
Event2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 - Savannah, GA, United States
Duration: 2009 Jan 192009 Jan 20

Publication series

NameProceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

Other

Other2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
CountryUnited States
CitySavannah, GA
Period09/1/1909/1/20

Keywords

  • Languages

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Type-based specialization of XML transformations'. Together they form a unique fingerprint.

  • Cite this

    Matsuda, K., Hu, Z., & Takeichi, M. (2009). Type-based specialization of XML transformations. In Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 (pp. 61-71). (Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09). https://doi.org/10.1145/1480945.1480955