Paper Info
Title
A denotational approach for type-checking in object-oriented programming languages
Abstract
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper proposes a method to test type safety in this kind of language. We say that a language is (type) safe if it ensures that, during the execution of a correct program, every message sent to an object is matched by an appropriate method. We define a ''typical'' object oriented programming language, featuring multiple inheritance, recursive types, and separation between specifications and implementations. Then, we give a formal definition for its type system, and a denotational semantics for the execution of the language, based on message passing. Finally, we formally prove that our language is type safe. Along the progress of the work, better understanding is gained about many problems related with type systems in object-oriented languages.
Year
DOI
Venue
1993
10.1016/0096-0551(93)90037-2
Comput. Lang.
Keywords
DocType
Volume
type safety,object-oriented programming language,semantics of programming languages,type safe,object-oriented language,formal definition,denotational approach,message passing,type systems,object oriented programming,recursive type,better understanding,appropriate method,programming language,type system
Journal
19
Issue
ISSN
Citations 
1
Computer Languages
3
PageRank 
References 
Authors
0.52
6
1
Name
Order
Citations
PageRank
Roberto Ierusalimschy146354.25