Synthesis of parallel Ada code from a knowledge base of rules | IEEE Conference Publication | IEEE Xplore