Abstract
We present a new programming approach based on a contextual component specification. The language we propose integrates XML and functional aspects in a coherent and homogeneous framework. This enables us to fully have static typing and to specify formal properties with respect to interactions.
Our language FICX, Functional Interactive and Compositional XML, defines a new kind of data structure called Xobjects and relies on a statically typed functional language (currently OCaml). An Xobject is an abstract structure made in two parts: the Xdata part is an XML structure extended by means of triggers dedicated to interactions, the reaction part gives the code associated to triggers that is evaluated on demand. The modularity is ensured by a parameterization of Xobjects: compound Xobjects form a tree structure, rendering a complex XML tree together with appropriate reactions for triggers. A program is a set of structures, each structure being a tree of Xobjects.
This work is supported by the Marie Curie action n. 29849 Websicola.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Benjelloun, O., Milo, T.: Positive active xml. In: ACM SIGMOD/PODS 2004 Conference (June 2004)
Benzaken, V., Castagna, G., Frisch, A.: Cduce: An xml-centric general purpose language. In: ICFP 2003. Proc. 8th ACM SIGPLAN International Conference on Functional Programming, Uppsala, Sweden, ACM Press, New York (2003)
Crane, D., Pascarello, E., James, D.: Ajax in Action. Manning Publications (2005)
Gapeyev, V., Levin, M.Y., Pierce, B.C., Schmitt, A.: XML goes native: Run-time representations for Xtatic. In: 14th International Conference on Compiler Construction (April 2005)
Active XML homepage, http://activexml.net
Objective CAML homepage, http://caml.inria.fr/ocaml/index.en.html
Kirkegaard, C., Møller, A.: Type checking with XML Schema in Xact. Technical Report RS-05-31, BRICS (September 2005)
Meijer, E., Shields, M.: XMλ: A functional language for constructing and manipulating XML documents (Draft) (1999)
Møller, A., Schwartzbach, M.I.: The design space of type checkers for XML transformation languages. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol. 3363, pp. 17–36. Springer, Heidelberg (2004)
Macromedia Coldfusion MX, http://www.macromedia.com/software/coldfusion
Active Server pages, http://www.asp.net/
Sun’s, J.A.V.A.: Server Pages, http://java.sun.com/products/jsp
The PHP Hypertext Preprocessor, http://www.php.net
Jelly: Executable XML, http://jakarta.apache.org/commons/jelly
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coupey, P., Fouqueré, C., Loddo, JV. (2007). Tree Components Programming: An Application to XML. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Theoretical Aspects of Computing – ICTAC 2007. ICTAC 2007. Lecture Notes in Computer Science, vol 4711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75292-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-75292-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75290-5
Online ISBN: 978-3-540-75292-9
eBook Packages: Computer ScienceComputer Science (R0)