Formal derivation of a pattern matching algorithm

Saved in:
Bibliographic Details
Published inScience of computer programming Vol. 12; no. 2; pp. 93 - 104
Main Authors Bird, R.S., Gibbons, J., Jones, G.
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 01.07.1989
New York, NY Elsevier
Subjects
Applied sciences
Computer science; control theory; systems
Data processing. List processing. Character string processing
Exact sciences and technology
Memory organisation. Data processing
Software
Programming
Data processing
Computer theory
Functional programming
Character string
Algorithm
Online AccessGet full text
ISSN0167-6423
1872-7964
DOI10.1016/0167-6423(89)90036-1

Cover

More Information
ISSN:0167-6423
1872-7964
DOI:10.1016/0167-6423(89)90036-1