CDuce: an XML-centric general-purpose language

DOI10.1145/944705.944711MaRDI QIDQ5261266zbMATH OpenOpenAlexFDO

Authors Véronique Benzaken, Giuseppe Castagna, Alain Frisch

Publication date 2 July 2015

Published in Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/944705.944711

zbMATH Keywords

CDucetype systemsXMLXML-processing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Programming Languages and Systems
• OCaml + XDuce
• Regular expression pattern matching for XML
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
• Regular expression pattern matching for XML

Cited in

(25)

• Backward type inference for XML queries
• Theory and practice of unparsed patterns for metacompilation
• CDuce
• A survey of strategies in rule-based program transformation systems
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
• Efficiently deciding -calculus with converse over finite trees
• The essence of functional programming on semantic data
• Behavioural analysis of sessions using the calculus of structures
• Translation of tree-processing programs into stream-processing programs based on ordered linear type
• Hedge Pattern Partial Derivative
• Capability-based localization of distributed and heterogeneous queries
• An algebraic theory for web service contracts
• Semantic subtyping for non-strict languages
• Generic validation of structural content with parametric modules
• scientific article; zbMATH DE number 7168151 (Why is no real title available?)
• OCaml + XDuce
• Inclusion Test Algorithms for One-Unambiguous Regular Expressions
• Verification of tree-processing programs via higher-order model checking
• Manifest contracts with intersection types
• A descriptive type foundation for RDF Schema
• PiDuce- A project for experimenting web services technologies
• Frontiers of tractability for typechecking simple XML transformations
• Semantic subtyping for the pi-calculus
• Typechecking top-down XML transformations: Fixed input or output schemas
• Parallelizing XML data-streaming workflows via MapReduce

Describes a project that uses

Uses Software

• XQuery
• XDuce

This page was built for publication: CDuce: an XML-centric general-purpose language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261266)