Proof-directed program transformation: A functional account of efficient regular expression matching (Q5016216)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof-directed program transformation: A functional account of efficient regular expression matching |
scientific article; zbMATH DE number 7443770
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-directed program transformation: A functional account of efficient regular expression matching |
scientific article; zbMATH DE number 7443770 |
Statements
Proof-directed program transformation: A functional account of efficient regular expression matching (English)
0 references
13 December 2021
0 references
