Type Systems For Object Oriented Programming Languages
Download Type Systems For Object Oriented Programming Languages PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Type Systems For Object Oriented Programming Languages book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Object-Oriented Type Systems
The authors review the type systems on Simula, Smalltalk, C++ and Eiffel and present a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language) containing common features of all of these languages.
Type systems for object-oriented programming languages
Formally, the language is presented as an object calculus. The thesis proves type soundness with respect to an operational semantics via a subject reduction theorem.