XDuce

swMATH12436MaRDI QIDQ24364FDOQ24364

Author name not available (Why is that?)

Cited In (53)

• Implementation and Application of Automata
• Database Theory - ICDT 2005
• Inclusion Test Algorithms for One-Unambiguous Regular Expressions
• Database Programming Languages
• OCaml + XDuce
• Frontiers of tractability for typechecking simple XML transformations
• XPi: a typed process calculus for XML messaging
• Evaluation of XPath queries against XML streams.
• An algebraic theory for web service contracts
• Type Checking of Tree Walking Transducers
• Automated Technology for Verification and Analysis
• Querying XML documents in logic programming
• Sound and Complete Flow Typing with Unions, Intersections and Negations
• Title not available (Why is that?)
• On the tree-transformation power of XSLT
• Automata, Languages and Programming
• Set-theoretic foundation of parametric polymorphism and subtyping
• A Semantic Basis for Proof Queries and Transformations
• Mathematical Foundations of Computer Science 2004
• Database Theory - ICDT 2005
• Parametric polymorphism and semantic subtyping
• Identifying query incompatibilities with evolving XML schemas
• Behavioural equivalences for dynamic web data
• A descriptive type foundation for RDF Schema
• Regular expression order-sorted unification and matching
• Typechecking top-down XML transformations: Fixed input or output schemas
• A Coalgebraic Foundation for Coinductive Union Types
• CDuce
• biXid
• Programming Languages and Systems
• Mathematics of Program Construction
• Title not available (Why is that?)
• MetaOCaml server pages: web publishing as staged computation
• A Grammar-Based Approach to Invertible Programs
• Optimizing Schema Languages for XML: Numerical Constraints and Interleaving
• Theoretical Computer Science
• Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata
• 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
• Judgmental subtyping systems with intersection types and modal types
• Static analysis for path correctness of XML queries
• A Pushdown Machine for Recursive XML Processing
• On deciding well-definedness for query languages on trees
• Backward type inference for XML queries
• Context logic as modal logic
• KeyX: Selective key-oriented indexing in native XML-databases.
• Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
• Satisfiability of a Spatial Logic with Tree Variables
• Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules
• A Typed Calculus for Querying Distributed XML Documents

This page was built for software: XDuce