Objects and classes in Algol-like languages

Objects and classes in Algol-like languages (2002)

by Uday S. Reddy

Venue:	Information and Computation
Citations:	22 - 5 self

Datum	Value	Source
TITLE	Objects and classes in Algol-like languages	INFERENCE
AUTHOR NAME	Uday S. Reddy	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computer Science; University of Illinois at Urbana-Champaign	SVM HeaderParse 0.2
AUTHOR ADDR	Urbana, IL 61801	SVM HeaderParse 0.2
ABSTRACT	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 relational parametricity provide powerful formal tools for reasoning about Algol-like object-oriented programs. 1	SVM HeaderParse 0.2
YEAR	2002	INFERENCE
VENUE	Information and Computation	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	63--97	INFERENCE
CITATIONS	58 found	ParsCit 1.0