Unifying execution of imperative and declarative code.

Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson

Browse the full ICSE paper archive.