Relating semantic models for the object calculus

Abadi and Cardelli have investigated several versions of the calculus a calculus for describing central features of object oriented programs with particular emphasis on various type systems In this paper we study the properties of a denotational se mantics due to Abadi and Cardelli vis vis the notion of observational congruence for the calculus Ob In… CONTINUE READING