Translating declarative control elements to imperative using 'l-value redefinition graphs'

Anthony Savidis

We focus on control constructs that allow programmers define actions to be performed when respective conditions are met without requiring the explicit evaluation and testing of con…