Learning Component Interfaces with May and Must Abstractions
Abstract elided by the publisher.
Related papers
- Ticc: A Tool for Interface Compatibility and Composition CAV 2006
- Symbolic Learning of Component Interfaces SAS 2012
- Algorithms for Interface Synthesis CAV 2007
- Synthesis of interface specifications for Java classes POPL 2005
- Typing the Specialization Interface OOPSLA 1993
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Syntactic Abstraction in Component Interfaces GPCE 2005
- A Foundation for Actor Computation JFP 1997