Back to Search
Start Over
Inheritance in the join calculus
- Source :
- The Journal of Logic and Algebraic Programming. 57(1-2):23-69
- Publication Year :
- 2003
- Publisher :
- Elsevier BV, 2003.
-
Abstract
- We design an extension of the join calculus with class-based inheritance. Method calls, locks, and states are handled in a uniform manner, using asynchronous messages. Classes are partial message definitions that can be combined and transformed by means of operators for behavioral and synchronization inheritance. We also give a polymorphic type system that statically enforces basic safety properties. Our language and its type system are compatible with the JoCaml implementation of the join calculus.
- Subjects :
- Class (computer programming)
Composition over inheritance
Inheritance
Programming language
Logic
Distributed computing
Type systems
Extension (predicate logic)
JoCaml
computer.software_genre
Theoretical Computer Science
Inheritance (object-oriented programming)
Join-calculus
Computational Theory and Mathematics
Asynchronous communication
Safety properties
Synchronization (computer science)
Concurrent objects
Polymorphism
computer
Software
Mathematics
computer.programming_language
Subjects
Details
- ISSN :
- 15678326
- Volume :
- 57
- Issue :
- 1-2
- Database :
- OpenAIRE
- Journal :
- The Journal of Logic and Algebraic Programming
- Accession number :
- edsair.doi.dedup.....b80451f4a447d45e4827084b1f9f9653
- Full Text :
- https://doi.org/10.1016/s1567-8326(03)00040-7