XDuce
From MaRDI portal
Software:24364
No author found.
Related Items (53)
Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata ⋮ PiDuce- A project for experimenting web services technologies ⋮ Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives ⋮ Unnamed Item ⋮ On the tree-transformation power of XSLT ⋮ Context logic as modal logic ⋮ Mathematical Foundations of Computer Science 2004 ⋮ Mathematics of Program Construction ⋮ Unnamed Item ⋮ Database Theory - ICDT 2005 ⋮ Database Theory - ICDT 2005 ⋮ Sound and Complete Flow Typing with Unions, Intersections and Negations ⋮ Automata, Languages and Programming ⋮ Identifying query incompatibilities with evolving XML schemas ⋮ Frontiers of tractability for typechecking simple XML transformations ⋮ Backward type inference for XML queries ⋮ biXid ⋮ Querying XML documents in logic programming ⋮ Unnamed Item ⋮ CDuce ⋮ 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 ⋮ On deciding well-definedness for query languages on trees ⋮ Typechecking top-down XML transformations: Fixed input or output schemas ⋮ An algebraic theory for web service contracts ⋮ A Grammar-Based Approach to Invertible Programs ⋮ Type Checking of Tree Walking Transducers ⋮ Behavioural equivalences for dynamic web data ⋮ A Coalgebraic Foundation for Coinductive Union Types ⋮ Unnamed Item ⋮ Automated Technology for Verification and Analysis ⋮ Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules ⋮ Set-theoretic foundation of parametric polymorphism and subtyping ⋮ Parametric polymorphism and semantic subtyping ⋮ Complexity of Decision Problems for XML Schemas and Chain Regular Expressions ⋮ MetaOCaml server pages: web publishing as staged computation ⋮ Satisfiability of a Spatial Logic with Tree Variables ⋮ A Typed Calculus for Querying Distributed XML Documents ⋮ Judgmental subtyping systems with intersection types and modal types ⋮ Regular Expression Subtyping for XML Query and Update Languages ⋮ A descriptive type foundation for RDF Schema ⋮ Regular expression order-sorted unification and matching ⋮ Implementation and Application of Automata ⋮ Programming Languages and Systems ⋮ Optimizing Schema Languages for XML: Numerical Constraints and Interleaving ⋮ Static analysis for path correctness of XML queries ⋮ Theoretical Computer Science ⋮ Database Programming Languages ⋮ OCaml + XDuce ⋮ Inclusion Test Algorithms for One-Unambiguous Regular Expressions ⋮ A Semantic Basis for Proof Queries and Transformations
This page was built for software: XDuce
