Formal derivation of a pattern matching algorithm

Authors:
R. S. Bird;J. Gibbons;G. Jones
Affiliations:
Oxford Univ., Oxford, UK;Oxford Univ., Oxford, UK;Oxford Univ., Oxford, UK
Venue:
Science of Computer Programming
Year:
1989

Citing 0
Cited 3

Derivation of programs for freshmen

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Higher-Order and Symbolic Computation
Polymorphic string matching

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell

Quantified Score

Hi-index	0.02

Visualization

Abstract