A sheaf-theoretic approach to pattern matching and related problems
From MaRDI portal
Publication:685382
DOI10.1016/0304-3975(93)90239-PzbMath0783.68088MaRDI QIDQ685382
Publication date: 20 March 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Grothendieck topologyderivation of a pattern-matching algorithmgeometry of matchingspecification for pattern matchingtheory of pattern matching
Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)
Related Items
Accretive computation of global transformations ⋮ A sheaf-theoretic approach to pattern matching and related problems
Uses Software
Cites Work
- A sheaf-theoretic approach to pattern matching and related problems
- Topoi. The categorial analysis of logic. Rev. ed
- Top-down synthesis of divide-and-conquer algorithms
- Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
- Completeness results for intuitionistic and modal logic in a categorical setting
- Formal derivation of a pattern matching algorithm
- Playing with patterns, searching for strings
- Pattern Matching in Trees
- Finite Differencing of Computable Expressions
- Efficient string matching
- The basic algebraic structures in categories of derivations
- Fast Pattern Matching in Strings
- A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension
- Programming as a Discipline of Mathematical Nature
- An efficient context-free parsing algorithm
- What is a Sheaf?
- Program development by stepwise refinement
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
