Programming: Techniques, Theory, and Multidisciplinary Applications