Syntactic Abstraction in Component Interfaces
No abstract available.
Related papers
- Learning Component Interfaces with May and Must Abstractions CAV 2010
- Invertible syntax descriptions: unifying parsing and pretty printing Haskell 2010
- Modular domain-specific language components in scala GPCE 2010
- An expressive language of signatures ICFP 2005
- Symbolic Learning of Component Interfaces SAS 2012
- Synchronous and Bidirectional Component Interfaces CAV 2002
- Typing the Specialization Interface OOPSLA 1993
- Abstract Interaction Tools: A Language for User Interface Management Systems TOPLAS 1988