01287nam 2200373 450 991073140350332120230829205003.010.1145/3589250(CKB)5720000000232630(NjHacI)995720000000232630(EXLCZ)99572000000023263020230829d2023 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierSOAP 2023 Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis /Pietro Ferrara, Liana HadareanNew York, NY :Association for Computing Machinery,2023.1 online resource (70 pages)979-84-00-70170-2 Programming languages (Electronic computers)CongressesProgramming languages (Electronic computers)SemanticsProgramming languages (Electronic computers)Programming languages (Electronic computers)Semantics.005.13Ferrara Pietro1379119Hadarean LianaNjHacINjHaclBOOK9910731403503321SOAP 20233456696UNINA