CDuce: an XML-centric general-purpose language
From MaRDI portal
Publication:5261266
DOI10.1145/944705.944711zbMATH Open1315.68046OpenAlexW2075994573MaRDI QIDQ5261266FDOQ5261266
Véronique Benzaken, Alain Frisch, Giuseppe Castagna
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
Cited In (22)
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions
- Title not available (Why is that?)
- Frontiers of tractability for typechecking simple XML transformations
- Verification of tree-processing programs via higher-order mode checking
- An algebraic theory for web service contracts
- Hedge Pattern Partial Derivative
- Behavioural Analysis of Sessions Using the Calculus of Structures
- 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
- Efficiently Deciding μ-Calculus with Converse over Finite Trees
- The Essence of Functional Programming on Semantic Data
- PiDuce- A project for experimenting web services technologies
- 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
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)