The Abstraction and Instantiation of String-Matching Programs

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær. The Abstraction and Instantiation of String-Matching Programs. In Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough, editors, The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Volume 2566 of Lecture Notes in Computer Science, pages 332-357, Springer, 2002. [doi]

Authors

Torben Amtoft

This author has not been identified. Look up 'Torben Amtoft' in Google

Charles Consel

This author has not been identified. It may be one of the following persons: Look up 'Charles Consel' in Google

Olivier Danvy

Identified as Olivier Danvy

Karoline Malmkjær

This author has not been identified. Look up 'Karoline Malmkjær' in Google