CDuce
From MaRDI portal
Software:24362
swMATH12434MaRDI QIDQ24362FDOQ24362
Author name not available (Why is that?)
Cited In (47)
- Database Theory - ICDT 2005
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions
- Theoretical Computer Science
- Database Programming Languages
- Database Programming Languages
- OCaml + XDuce
- Tree Components Programming: An Application to XML
- Behavioural analysis of sessions using the calculus of structures
- A programmable editor for developing structured documents based on bidirectional transformations
- Frontiers of tractability for typechecking simple XML transformations
- XPi: a typed process calculus for XML messaging
- On Confluence of Infinitary Combinatory Reduction Systems
- An algebraic theory for web service contracts
- Querying XML documents in logic programming
- Extensible pattern matching via a lightweight language extension
- Model checking higher-order programs
- Automata, Languages and Programming
- Set-theoretic foundation of parametric polymorphism and subtyping
- Parametric polymorphism and semantic subtyping
- Identifying query incompatibilities with evolving XML schemas
- Hedge Pattern Partial Derivative
- 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
- Subtyping algorithm of regular tree grammars with disjoint production rules
- Static and dynamic semantics of NoSQL languages
- Title not available (Why is that?)
- A survey of strategies in rule-based program transformation systems
- Types for path correctness of XML queries
- Disjoint intersection types
- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives
- Programming Languages and Systems
- PiDuce- A project for experimenting web services technologies
- Regular Expression Subtyping for XML Query and Update Languages
- Efficiently deciding \(\mu\)-calculus with converse over finite trees
- Static analysis for path correctness of XML queries
- A Pushdown Machine for Recursive XML Processing
- On deciding well-definedness for query languages on trees
- Theory and practice of unparsed patterns for metacompilation
- Backward type inference for XML queries
- Satisfiability of a Spatial Logic with Tree Variables
- Capability-based localization of distributed and heterogeneous queries
- A coalgebraic foundation for coinductive union types
- Programming Languages and Systems
- Foundations of XML processing. The tree-automata approach.
- Parallelizing XML data-streaming workflows via MapReduce
- Sound and complete flow typing with unions, intersections and negations
This page was built for software: CDuce
