Omar_Semantic_Foundations_JA.pdf Download Tags: A Language and Framework for Development of Secure Mobile Applications August'17 CMU program editors; type systems; live programming; program prediction Scalability and Composability License: Creative Commons 2.5 Submitted by Jamie Hagerty on Tue, 08/01/2017 - 12:21