Challenges of multilingual program specification and analysis

CA Furia, A Tiwari - … Symposium on Leveraging Applications of Formal …, 2024 - Springer
Multilingual programs, whose implementations are made of different languages, are gaining
traction especially in domains, such as web programming, that particularly benefit from the …

[HTML][HTML] Modular Unification of Unilingual Pointer Analyses to Multilingual FFI-Based Programs

J Prakash, A Tiwari, C Hammer - Science of Computer Programming, 2025 - Elsevier
Modular analysis of polyglot applications is challenging because flows of heap objects must
be resolved across language boundaries. The state-of-the-art analyses for polyglot …

Sistem Informasi Manajemen Pengelolaan Keuangan Masjid Berbasis Android Webview

AST Kharisma, S Sumarno - Journal of Electrical Engineering, 2024 - journal.pubmedia.id
Masjid selalu membuat laporan akuntansi mengenai pemasukan dana yang di terima
seperti sumbangan donatur, sedekah, atau bentuk bantuan sosial lainnya, karena itu …

Modular Unification of Unilingual Pointer Analyses to Multilingual Programs

J Prakash, A Tiwari, C Hammer - Available at SSRN 4936482 - papers.ssrn.com
Modular analysis of polyglot applications is challenging because flows of heap objects must
be resolved across language boundaries. The state-of-the-art analyses for polyglot …