Deriving a functional Knuth-Morris-Pratt algorithm by transformation

Authors:
Masato Takeichi;Yoji Akama
Affiliations:
-;-
Venue:
Journal of Information Processing
Year:
1991

Citing 0
Cited 3

Fast partial evaluation of pattern matching in strings

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
The abstraction and instantiation of string-matching programs

The essence of computation
Fast partial evaluation of pattern matching in strings

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract