Automatic Construction of Java Programs from Functional Program Specifications Journal title: International Journal of Advanced Computer Science & Applications Authors: Md. Kabir Subject(s):