Static Analysis
portes grátis
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Gorla, Alessandra; Giacobazzi, Roberto
Springer International Publishing AG
02/2025
459
Mole
9783031747755
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Abstract interpretation;Automated deduction;Data flow analysis;Debugging techniques;Deductive methods;Emerging applications;Model-checking;Data science;Program optimizations and transformations;Program synthesis;Program verification;Machine learning and verification;Security analysis;Tool environments and architectures;Theoretical frameworks;Type checking;Distributed or networked systems
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Abstract interpretation;Automated deduction;Data flow analysis;Debugging techniques;Deductive methods;Emerging applications;Model-checking;Data science;Program optimizations and transformations;Program synthesis;Program verification;Machine learning and verification;Security analysis;Tool environments and architectures;Theoretical frameworks;Type checking;Distributed or networked systems
