Results 1 -
4 of
4
Scripting XML with Generic Haskell
- Utrecht University
, 2003
"... A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This paper discusses how Generic Haskell can be used to implement XML tools whose behaviour depends on ..."
Abstract
-
Cited by 15 (9 self)
- Add to MetaCart
A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This paper discusses how Generic Haskell can be used to implement XML tools whose behaviour depends on the DTD or Schema of the input XML document. Example tools include XML editors, databases, and compressors. Generic Haskell is ideally suited for implementing XML tools: .
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
- In International Symposium on Practical Aspects of Declarative Languages (PADL’04), volume 3057 of LNCS
, 2004
"... An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a type-preserving XML-Haskell data binding that handles documents typed by the W3C XML Schema standard. Our translation is based on a formal semantics of Schema, and has been proved s ..."
Abstract
-
Cited by 12 (2 self)
- Add to MetaCart
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a type-preserving XML-Haskell data binding that handles documents typed by the W3C XML Schema standard. Our translation is based on a formal semantics of Schema, and has been proved sound with respect to the semantics. We also show a program in Generic Haskell that constructs parsers specialized to a particular Schema type.
Inferring Type Isomorphisms Generically
- Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS
"... Datatypes which di#er inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved. ..."
Abstract
-
Cited by 11 (7 self)
- Add to MetaCart
Datatypes which di#er inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved.
Flexible Generation of Reports for Simulation-based Early Warning Systems using XML
- Proc. European Conference on Modelling and Simulation 2006
, 2006
"... Simulation-Based Early Warning Systems provide opportunities to control and analyze material flow systems by forecasting future system states. For this purpose a flexible reporting and extracting of simulation results respectively is essential but not supported by simulation tools in a standardized ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Simulation-Based Early Warning Systems provide opportunities to control and analyze material flow systems by forecasting future system states. For this purpose a flexible reporting and extracting of simulation results respectively is essential but not supported by simulation tools in a standardized and simulator-independent way. There is a variety of general communication methods to exchange results with non-simulation applications (e.g. Simulation-Based Early Warning Systems). Nevertheless the data structure and representation have to be described for every isolated case. This article presents a solution approach to enable flexible generation of reports via XML and XSLT. For this reason an XML schema definition used for defining variable calculation rules is described and its implementation in representative simulation tools is pointed up as well as the link to simulation-based early warning systems.

