Regular expression pattern matching for XML

DOI10.1017/S0956796802004410zbMath1093.68556MaRDI QIDQ3160299

Haruo Hosoya, Benjamin C. Pierce

Publication date: 8 February 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Related Items (9)

Automata for XML -- a survey ⋮ CLP(H):Constraint logic programming for hedges ⋮ Compact representation for answer sets of \(n\)-ary regular queries ⋮ Variadic equational matching in associative and commutative theories ⋮ Regular expression order-sorted unification and matching ⋮ Compact Representation for Answer Sets of n-ary Regular Queries ⋮ Hedge Pattern Partial Derivative ⋮ Adapting functional programs to higher order logic ⋮ A first step towardsmodeling semistructured data in hybrid multimodal logic

Uses Software

• OCaml
• GHC

This page was built for publication: Regular expression pattern matching for XML