Title of article
On obtaining the Boyer–Moore string-matching algorithm by partial evaluation
Author/Authors
Olivier Danvy، نويسنده , , Henning Korsholm Rohde، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2006
Pages
5
From page
158
To page
162
Keywords
Program specification , Design of algorithms , Programcorrectness , Partial Evaluation , Binding-time improvement , Boyer–Moorestring-matching algorithm , Horspool string-matching algorithm , Bounded static variation , analysis of algorithms , programming languages , Algorithms , data structures , functional programming , Theory of computation , Software design and implementation , Program derivation
Journal title
Information Processing Letters
Serial Year
2006
Journal title
Information Processing Letters
Record number
130290
Link To Document