Message Conversion and a New Type System for OO Model

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 9, 1997, Pages 61-67

  Zhao, Jianhua ^a   Chen, Jiajun ^a   Zheng, Guoliang ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

Message Type; Object Oriented; Type System

Indexed keywords

EID: 0345877600     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/270507.270521     Document Type: Article

References (6)

1. Kim B. Bruce. Typing in object-oriented languages-achieving expressibility and safety(Draft), Williams College November 29,1995.
2. Oscar Nierstrasz. Regular Types for Active Objects. Object-Oriented Software Composition, Prentice Hall, 1995.
3. Naoki Kobayashi,Akinori Yonezawa. Type-Theoretic Foundations for Concurrent Object-Oriented Programming. Proceedings OOPSLA'94.
4. Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico. Application of OOP Type Theory: State, Decidability, Integration. Proceedings OOPSLA'94.
5. Mahesh Dodani and Chung-Shin Tsai. ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes. Proceedings ECOOP'92.
6. Walter L. Hursch. Should Superclasses be Abstract? Proceedings ECOOP'94.