Pages that link to "Item:Q911750"
From MaRDI portal
The following pages link to A fast pattern matching algorithm derived by transformational and assertional reasoning (Q911750):
Displaying 6 items.
- Non-deterministic expressions and predicate transformers (Q287006) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- Formal derivation of a pattern matching algorithm (Q1822923) (← links)
- Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm (Q1853605) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Deriving a functional Knuth-Morris-Pratt algorithm by transformation (Q3985358) (← links)