Multitier Modules
No abstract available.
Related papers
- Multiparty Languages: The Choreographic and Multitier Cases (Pearl) ECOOP 2021
- A glimpse of Hopjs ICFP 2016
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Difference-Based Modules: A Class-Independent Module Mechanism ECOOP 2002
- Automated Module Composition TACAS 2003
- Module Checking CAV 1996
- Module Checking Revisited CAV 1997
- Rich Interfaces for Software Modules ECOOP 2004