Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications