CDuce: an XML-centric general-purpose language

DOI10.1145/944705.944711zbMATH Open1315.68046OpenAlexW2075994573MaRDI QIDQ5261266FDOQ5261266

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

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

zbMATH Keywords

XMLtype systemsCDuceXML-processing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (25)

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

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)