swMATH12436MaRDI QIDQ24364FDOQ24364
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=767195
Cited In (75)
- Automated Technology for Verification and Analysis
- KeyX: Selective key-oriented indexing in native XML-databases.
- Implementation and Application of Automata
- 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
- 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
- TulaFale
- XQuery
- Facile
- MetaOCaml
- XPi
- XMLTK
- PIPER
- CDuce
- biXid
- XCheck
- SmallEiffel
- Relax NG
- XPath
- Programming Languages and Systems
- UnQL
- BioPortal
- YATL
- Groovy
- Turtle
- Mathematics of Program Construction
- SIUNITS
- Lorel
- Design and implementation of a database programming language for XML-based applications.
- Type checking of tree walking transducers
- TREX
- MetaOCaml server pages: web publishing as staged computation
- XSugar
- 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
- 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
This page was built for software: XDuce
