Objects and Classes in Algol-Like Languages

@article{Reddy2002ObjectsAC,
  title={Objects and Classes in Algol-Like Languages},
  author={Uday S. Reddy},
  journal={Inf. Comput.},
  year={2002},
  volume={172},
  pages={63-97}
}
Many object-oriented languages used in practice descend from Algol. With this motivation, we study the theoretical issues underlying such languages via the theory of Algollike languages. It is shown that the basic framework of this theory extends cleanly and elegantly to the concepts of objects and classes. An important idea that comes to light is that classes are abstract data types, whose theory corresponds to that of existential types. Equational and Hoare-like reasoning methods, and… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 61 references

e

K. B. Br
PolyTOIL: A type-safe polymorphi obje t-oriented language. In ECOOP'95, volume 952 of LNCS, pages 27{51. Springer-Verlag, • 1995
View 3 Excerpts
Highly Influenced

Stru ture and Interpretation of Computer Programs

H. Abelson, G. J. Sussman, J. Sussman
MIT Press, • 1985
View 4 Excerpts
Highly Influenced

Algol-like Languages (Two volumes)

P. W. O'Hearn, R. D. Tennent
Birkhauser, Boston, • 1997

From Algol to polymorphi linear lambda al ulus

P. W. O'Hearn, J. C. Reynolds
Ele troni manus ript, Queen Mary and West eld, London, April • 1997

H

D. S. Andersen, L. H. Pedersen
H uttel, and J. Kleist. Obje ts, types and modal logi s. In FOOL 4, http://www. s.indiana.edu/hyplan/pier e/fool/, • 1997
View 2 Excerpts

a

D. R. Gh
Semanti s of dynami variables in algol-like languages. Master's the sis, Queen's University, Kingston, Canada, Mar • 1997

e, L

K. C. Br
Cardelli, and B. C. Pier e. Comparing obje t en odings. In Theoreti al Aspe ts of Computer Software, volume 1281 of LNCS, pages 415{438. Springer-Verlag, Berlin, • 1997
View 1 Excerpt

Similar Papers

Loading similar papers…