CDuce
From MaRDI portal
Software:24362
No author found.
Related Items (47)
PiDuce- A project for experimenting web services technologies ⋮ Unnamed Item ⋮ Behavioural Analysis of Sessions Using the Calculus of Structures ⋮ Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives ⋮ Database Theory - ICDT 2005 ⋮ Sound and Complete Flow Typing with Unions, Intersections and Negations ⋮ Automata, Languages and Programming ⋮ Static and dynamic semantics of NoSQL languages ⋮ Identifying query incompatibilities with evolving XML schemas ⋮ Frontiers of tractability for typechecking simple XML transformations ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ Backward type inference for XML queries ⋮ Querying XML documents in logic programming ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ Unnamed Item ⋮ Tree Components Programming: An Application to XML ⋮ Disjoint intersection types ⋮ XPi: a typed process calculus for XML messaging ⋮ The Essence of Functional Programming on Semantic Data ⋮ A Pushdown Machine for Recursive XML Processing ⋮ Programming Languages and Systems ⋮ Programming Languages and Systems ⋮ On Confluence of Infinitary Combinatory Reduction Systems ⋮ On deciding well-definedness for query languages on trees ⋮ A survey of strategies in rule-based program transformation systems ⋮ Typechecking top-down XML transformations: Fixed input or output schemas ⋮ Model Checking Higher-Order Programs ⋮ An algebraic theory for web service contracts ⋮ A Coalgebraic Foundation for Coinductive Union Types ⋮ Extensible pattern matching via a lightweight language extension ⋮ Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules ⋮ Set-theoretic foundation of parametric polymorphism and subtyping ⋮ Parametric polymorphism and semantic subtyping ⋮ Types for path correctness of XML queries ⋮ Theory and practice of unparsed patterns for metacompilation ⋮ Parallelizing XML data-streaming workflows via MapReduce ⋮ A programmable editor for developing structured documents based on bidirectional transformations ⋮ Satisfiability of a Spatial Logic with Tree Variables ⋮ Regular Expression Subtyping for XML Query and Update Languages ⋮ A descriptive type foundation for RDF Schema ⋮ Hedge Pattern Partial Derivative ⋮ Static analysis for path correctness of XML queries ⋮ Theoretical Computer Science ⋮ Database Programming Languages ⋮ Database Programming Languages ⋮ OCaml + XDuce ⋮ Inclusion Test Algorithms for One-Unambiguous Regular Expressions
This page was built for software: CDuce
