Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: M. Okada (Editor)
Publisher: Springer
Published: October 1991
Language: eng
Number of pages: 461
ISBN-13: 9780387543178
First sentence: Focus is an interactive program transformation/synthesis system based on term rewriting techniques [Red88].