• biXid

  • Referenced in 9 articles [sw12667]
  • between such formats. Existng XML transformation languages, such as XSLT and XDuce, are unsatisfactory ... programs for the forward and the backward transformations in case of two formats, incur high...
  • SXSLT

  • Referenced in 3 articles [sw02365]
  • original or the transformed trees. The language can emulate XSLT in whole or in part ... SXSLT providing right abstractions for XML transformations, of being higher-order, declarative and extensible...
  • MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • these extensions and explain how they are transformed by MPTP to standard TPTP syntax using ... TPTP exporter is now just a XSLT stylesheet translating the XML tree to the TPTP...
  • XMLSpy

  • Referenced in 5 articles [sw15631]
  • best-selling XML editor for modeling, editing, transforming, and debugging XML-related technologies. It offers ... debuggers, profilers, full database integration, support for XSLT, XPath, XQuery, WSDL, SOAP, XBRL, JSON...
  • X-Fun

  • Referenced in 1 article [sw14200]
  • higher-order functional programming language for transforming data trees based on node selection queries ... query evaluator. We also discuss compilers from XSLT, XQuery and XProc into X-Fun which...
  • Coq

  • Referenced in 1753 articles [sw00161]
  • Coq is a formal proof management system. It...
  • PathLog

  • Referenced in 4 articles [sw01607]
  • PathLog: A query language for schemaless databases of...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 834 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • OCaml

  • Referenced in 269 articles [sw06363]
  • OCaml is the most popular variant of the...
  • XQuery

  • Referenced in 121 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Erlang

  • Referenced in 104 articles [sw07202]
  • Erlang is a programming language used to build...
  • CDuce

  • Referenced in 49 articles [sw12434]
  • CDuce: an XML-centric general-purpose language. We...
  • XDuce

  • Referenced in 54 articles [sw12436]
  • XDuce: A statically typed XML processing language. XDuce...
  • XPath

  • Referenced in 367 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • XMark

  • Referenced in 28 articles [sw18908]
  • XMark-An XML Benchmark Project. The database community...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • UnQL: a query language and algebra for semistructured...