Definition of Reusable Concurrent Software Components
No abstract available.
Related papers
- Retrieving Reusable Software Components by Polymorphic Type JFP 1991
- ArchSem: Reusable Rigorous Semantics of Relaxed Architectures POPL 2026
- Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020
- Property models: from incidental algorithms to reusable components GPCE 2008
- Sound and reusable components for abstract interpretation OOPSLA 2019
- Type checking, separate compilation and reusability PLDI 1984
- Intrinsically-typed definitional interpreters à la carte OOPSLA 2022
- A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology TOPLAS 1998