Introduction

This site describes AutoStrat, a tool that automates and visualizes rewriting of terms using different evaluation strategies. It implements some common predefined strategies and also allows the user to specify strategy annotations.

For general questions or comments contact Fabian Mitterwallner.