A Declarative Query Language for Analysis and Its Translator. - Deepika Prakash; Naveen Prakash; Abhinav Jajoo (ENASE (1), 2026)