Regular expression pattern matching for XML

DOI10.1145/360204.360209zbMath1323.68076OpenAlexW2087271899MaRDI QIDQ5178874

Benjamin C. Pierce, Haruo Hosoya

Publication date: 17 March 2015

Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cis_papers/155

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (28)

Fast and compact regular expression matching ⋮ Unnamed Item ⋮ XML schema, tree logic and sheaves automata ⋮ Environment classifiers ⋮ Bigraphs and transitions ⋮ The m-calculus ⋮ A generic approach to the static analysis of concurrent programs with procedures ⋮ Discovering affine equalities using random interpretation ⋮ Bitwidth aware global register allocation ⋮ Folklore confirmed ⋮ New results on the computability and complexity of points--to analysis ⋮ Incremental algorithms for dispatching in dynamically typed languages ⋮ From control effects to typed continuation passing ⋮ Coercive subtyping for the calculus of constructions ⋮ A type theory for memory allocation and data layout ⋮ Static prediction of heap space usage for first-order functional programs ⋮ Ownership types for object encapsulation ⋮ Guarded recursive datatype constructors ⋮ A type system for higher-order modules ⋮ Pure patterns type systems ⋮ XML with data values: Typechecking revisited. ⋮ Rewriting-based repairing strategies for XML repositories ⋮ Construction of Tree Automata from Regular Expressions ⋮ XML graphs in program analysis ⋮ Boolean operations and inclusion test for attribute-element constraints ⋮ A Typed Calculus for Querying Distributed XML Documents ⋮ Efficient algorithms for isomorphisms of simple types ⋮ Construction of tree automata from regular expressions

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