Pages that link to "Item:Q5178874"
From MaRDI portal
The following pages link to Regular expression pattern matching for XML (Q5178874):
Displaying 24 items.
- XML graphs in program analysis (Q532414) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- XML with data values: Typechecking revisited. (Q1401966) (← links)
- Fast and compact regular expression matching (Q2378530) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- Boolean operations and inclusion test for attribute-element constraints (Q2503331) (← links)
- Environment classifiers (Q2942909) (← links)
- Bigraphs and transitions (Q2942911) (← links)
- The m-calculus (Q2942912) (← links)
- A generic approach to the static analysis of concurrent programs with procedures (Q2942913) (← links)
- Discovering affine equalities using random interpretation (Q2942914) (← links)
- Bitwidth aware global register allocation (Q2942915) (← links)
- Folklore confirmed (Q2942916) (← links)
- New results on the computability and complexity of points--to analysis (Q2942917) (← links)
- Incremental algorithms for dispatching in dynamically typed languages (Q2942919) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- Coercive subtyping for the calculus of constructions (Q2942921) (← links)
- A type theory for memory allocation and data layout (Q2942924) (← links)
- Static prediction of heap space usage for first-order functional programs (Q2942925) (← links)
- Ownership types for object encapsulation (Q2942927) (← links)
- Guarded recursive datatype constructors (Q2942928) (← links)
- A type system for higher-order modules (Q2942929) (← links)
- Pure patterns type systems (Q2942930) (← links)
- Construction of tree automata from regular expressions (Q3095043) (← links)
