Symbolic Learning of Component Interfaces
No abstract available.
Related papers
- Ticc: A Tool for Interface Compatibility and Composition CAV 2006
- Learning Component Interfaces with May and Must Abstractions CAV 2010
- Synthesis of interface specifications for Java classes POPL 2005
- Algorithms for Interface Synthesis CAV 2007
- Active Learning for Neurosymbolic Program Synthesis OOPSLA 2025
- Bee: an integrated development environment for the Scheme programming language JFP 2000
- Syntactic Abstraction in Component Interfaces GPCE 2005
- Synchronous and Bidirectional Component Interfaces CAV 2002