A linguistic approach to concurrent, distributed, and adaptive programming across heterogeneous platforms