×

CLP(Flex)

swMATH ID: 28534
Software Authors: J. Coelho; M. Florido
Description: CLP(Flex): Constraint Logic Programming Applied to XML Processing. In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symbols. Then we present an application of CLP(Flex) to XML-processing where XML documents are abstracted by terms with flexible arity symbols. This gives a highly declarative model for XML processing yielding a substantial degree of flexibility in programming.
Homepage: https://link.springer.com/chapter/10.1007/978-3-540-30469-2_17
Related Software: Theorema; Mathematica; Veriflog; XCentric; Maude; Tom; ASF+SDF
Cited in: 7 Publications

Citations by Year