CDuce

swMATH12434MaRDI QIDQ24362FDOQ24362

Author name not available (Why is that?)

Described by source

• CDuce

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
• 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
• Sound and Complete Flow Typing with Unions, Intersections and Negations
• 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
• 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
• Static and dynamic semantics of NoSQL languages
• A Coalgebraic Foundation for Coinductive Union Types
• Title not available (Why is that?)
• A survey of strategies in rule-based program transformation systems
• Efficiently Deciding μ-Calculus with Converse over Finite Trees
• Title not available (Why is that?)
• Types for path correctness of XML queries
• Disjoint intersection types
• The Essence of Functional Programming on Semantic Data
• 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
• 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
• Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules
• Programming Languages and Systems
• Model Checking Higher-Order Programs
• Parallelizing XML data-streaming workflows via MapReduce

This page was built for software: CDuce