Martin Müller Informatik, ETH Zürich mueller@inf.ethz.ch
Patterns are a simple yet powerful way of encoding Go knowledge. We describe how pattern matching is implemented in our program Explorer.