Challenges of Multilingual Program Specification and Analysis

Carlo A. Furia, Abhishek Tiwari

Multilingual programs, whose implementations are made of different languages, are gaining traction especially in domains, such as web programming, that particularly benefit from th…