XDuce

swMATH12436MaRDI QIDQ24364FDOQ24364

Author name not available (Why is that?)

Cited In (53)

• Database Theory - ICDT 2005
• Inclusion Test Algorithms for One-Unambiguous Regular Expressions
• A semantic basis for proof queries and transformations
• 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
• Automated Technology for Verification and Analysis
• Querying XML documents in logic programming
• A grammar-based approach to invertible programs
• On the tree-transformation power of XSLT
• Automata, Languages and Programming
• Set-theoretic foundation of parametric polymorphism and subtyping
• 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
• The essence of functional programming on semantic 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
• Complexity of decision problems for XML schemas and chain regular expressions
• Subtyping algorithm of regular tree grammars with disjoint production rules
• Context logic as modal logic, completeness and parametric inexpressivity
• Programming Languages and Systems
• Mathematics of Program Construction
• Design and implementation of a database programming language for XML-based applications.
• Type checking of tree walking transducers
• MetaOCaml server pages: web publishing as staged computation
• Optimizing Schema Languages for XML: Numerical Constraints and Interleaving
• Theoretical Computer Science
• Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata
• 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
• KeyX: Selective key-oriented indexing in native XML-databases.
• Satisfiability of a Spatial Logic with Tree Variables
• A coalgebraic foundation for coinductive union types
• CDuce: an XML-centric general-purpose language
• biXid: a bidirectional transformation language for XML
• Foundations of XML processing. The tree-automata approach.
• A Typed Calculus for Querying Distributed XML Documents
• Sound and complete flow typing with unions, intersections and negations
• Implementation and Application of Automata

This page was built for software: XDuce