Previous    Next


The rewrite rules of Image 8.1 are an example of a term rewriting system; such systems have been much studied [Dershowitz and Jouannaud 1990].

Fisher [1981] shows how to cover a program with traces so that frequently executing paths tend to stay within the same trace. Such traces are useful for program optimization and scheduling.

JaVaScreenshot Previous    Next