by MikaelPettersson

In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag^?, 1992.

Summary

-- EelcoVisser

The paper presents an improvement of the 'standard' algorithms of Augustsson and PhilipWadler. The algorithm creates a finite automaton with constructors as state transitions. The states are represented by matrices of term pattern. A state transition via a constructor and a column reduces the matrix to the submatrix that is compatible with the constructor.