A Formal Semantics for Isorecursive and Equirecursive State Abstractions.

Alexander J. Summers, Sophia Drossopoulou

Browse the full ECOOP paper archive.