Programming with intersection types and bounded polymorphism
Programming with intersection types and bounded polymorphism
Type inference for records in natural extension of ML
Theoretical aspects of object-oriented programming
Typing record concatenation for free
Theoretical aspects of object-oriented programming
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Dynamic resource management and automatic configuration of distributed component systems
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
The Design and Implementation of Open ORB 2
IEEE Distributed Systems Online
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Reengineering J2EE Servers for Automated Management in Distributed Environments
IEEE Distributed Systems Online
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Scalable processing of context information with COSMOS
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A framework for quality of context management
QuaCon'09 Proceedings of the 1st international conference on Quality of context
Hi-index | 0.00 |
We present a type system for the Dream component-based message-oriented middleware. This type system aims at preventing the erroneous use of messages, such as the access of missing content. To this end, we adapt to our setting a type system developed for extensible records.