Efficient Automata-Driven Pattern-Matching for Equational Programs

Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge. Efficient Automata-Driven Pattern-Matching for Equational Programs. Software: Practice and Experience, 29(9):793-813, 1999.

Abstract

Abstract is missing.