scientific article; zbMATH DE number 30308

MaRDI QIDQ3985358zbMATH OpenFDO

Authors Masato Takeichi, Yohji Akama

Publication date 27 June 1992

zbMATH Keywords

functional programmingmemoizationpartial parametrizationprogram derivationprogram transformation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal derivation of a pattern matching algorithm
• On obtaining the Boyer-Moore string-matching algorithm by partial evaluation
• scientific article; zbMATH DE number 1953284
• Proof-directed program transformation: a functional account of efficient regular expression matching
• A fast pattern matching algorithm derived by transformational and assertional reasoning

Cited in

(2)

• Formal derivation of a pattern matching algorithm
• Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3985358)