Errata for

Compile-Time Views of Execution Structure Based on Ownership

 

Section 2.2

"A class hierarchy analysis could determine that a variable of type ViewChangeListener could alias a variable of type " should read

"A class hierarchy analysis could determine that a variable of type ViewChangeListener could alias a variable of type Tool or Command"