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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-75292-9_10 | ICTAC |
Keywords | Field | DocType |
abstract structure,xml structure,compound xobjects,tree components programming,tree structure,compositional xml,functional language,language ficx,xdata part,data structure,complex xml tree | XML Encryption,Efficient XML Interchange,Programming language,Streaming XML,XML validation,Computer science,Document Structure Description,Theoretical computer science,XML schema,XML tree,XML Schema Editor | Conference |
Volume | ISSN | ISBN |
4711 | 0302-9743 | 3-540-75290-0 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pascal Coupey | 1 | 27 | 4.15 |
Christophe Fouqueré | 2 | 28 | 10.68 |
Jean-Vincent Loddo | 3 | 31 | 3.95 |