indiana university

computer science department

technical report no. 398

Specification and Synthesis of Bounded

Indirection

Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson

february 1994