An environment for maintaining computation dependency in XML documents

Proceedings of the 2005 ACM Symposium on Document Engineering

Volumn , Issue , 2005, Pages 42-51

  Liu, Dongxi ^a   Hu, Zhenjiang ^a   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

Computation Dependency; Functional Programming; Lazy Evaluation; Programmable Structured Document; XML

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; INFORMATION RETRIEVAL; SYNTACTICS; VIRTUAL REALITY; XML;

COMPUTATION DEPENDENCY; FUNCTIONAL PROGRAMMING; LAZY EVALUATION; PROGRAMMABLE STRUCTURED DOCUMENT;

COMPUTATION THEORY;

EID: 33745861729     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1096601.1096616     Document Type: Conference Paper

References (20)

1. XMark-An XML Benchmark Project. http://monetdb.cwi.nl/xml/index.html.
2. S. Abiteboul, O. Benjelloun, and T. Milo. Positive active XML. In Proceedings of the twenty-third ACM symposium on Principles of database systems, 2004.
3. Altova. XMLSpy. via http://www.altova.com.
4. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the eighth ACM international conference on Functional programming, 2003.
5. R. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1999.
6. B. Chidlovskii. A structural advisor for the XML document authoring. In ACM Symposium of Document Engineering, 2003.
7. P. Geneves and J.-Y. Vion-Dury. XPath formal semantics and beyond: A coq-based approach. In International Conference on Theorem Proving in Higher Order Logics (TPHOLs), Emerging Trends, 2004.
8. Y. Hayashi, Z. Hu, M. Takeichi, N. Wake, M. Hara, and N. Oshima. Pruning DOM trees for structured document processing. In Proceedings of JSSST, 2004.
9. Z. Hu, S.-C. Mu, and M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. In Proceedings of the 2004 ACM symposium on Partial evaluation and semantics-based program manipulation, 2004.
10. T. Johnsson. Efficient compilation of lazy evaluation. SIGPLAN Notices, 19(6):58-69, June 1984.
11. Justsystem, xfy XML Management Architecture, via http://www.xfytec,com/index.html, 2004.
12. G. T. Nicol. XEXPR - A Scripting Language for XML. via http://www.w3.org/TR/2000/NOTE-xexpr-20001121/.
13. Pixware. XMLmind. via http://www.xmlmind.com.
14. B. Ronen, M. A. Palley, and J. Henry C. Lucas. Spreadsheet analysis and design. Commun. ACM, 32(1):84-93, 1989.
15. T. Sheard. Accomplishments and research challenges in meta-programming. In Proceedings of the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG'01), volume 2196 of LNCS, 2001.
16. J. Simeon and P. Wadler. The essence of XML. In Proceedings of the 30th ACM symposium on Principles of programming languages, 2003.
17. Sun Microsystems. Java Architecture for XML Binding (JAXB). via http://java.sun.com/xml/jaxb.
18. SyncRO Soft Ltd. oXygen XML Editor, via http://www.oxygenxml.com.
19. M. Takeichi, Z. Hu, K. Kakehi, Y. Hayashi, S.-C. Mu, and K. Nakano. TreeCalc: towards programmable structured documents. In Proceedings of JSSST, 2003.
20. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the eighth ACM international conference on Functional programming, 1999.