On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Process algebra
A sort inference algorithm for the polyadic &pgr;-calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus of mobile processes, II
Information and Computation
Systematic concurrent object-oriented programming
Communications of the ACM
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Coordination languages and their significance
Communications of the ACM
Types That Reflect Changes of Object Usability
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Type Specifications with Processes
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
From CML to Process Algebras (Extended Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
| Hi-index | 0.00 |
Subtyping is undoubtedly useful for the support of incremental refinement and reuse of software components, a crucial feature of object-oriented languages. Types and subtyping for concurrent languages are not yet explored sufficiently and tend to be less flexible than desired. We propose a flexible type model for concurrent languages. This model ensures statically that "message-not-understood-errors" do not occur at run-time even if object behavior is changed dynamically.