We present interactive support tools for programming in the large which can handle incomplete, missing or inconsistent information about a software project. Our tool set comprises an incremental interface checker for incomplete component libraries, support for polymorphic component reuse, an inference-based interactive configuration system, and intelligent browsing algorithms. We make heavy use of automated deduction techniques such as order-sorted unification or AC1 unification.
All tools are generic and parametrized with language-specific information.
The concepts described in this paper are currently under development as part of an interactive software development environment, which can automatically complet partial information and detect errors earlier, than conventional tools.