( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Need for a Common API for Abstract Domains of Object-Oriented Programs.

, , и . FTfJP@ECOOP, стр. 15-17. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Eugenio Amato

Giuseppe Amato

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

 

Другие публикации лиц с тем же именем

Optimality in goal-dependent analysis of Sharing., и . Theory Pract. Log. Program., 9 (5): 617-689 (2009)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , и . FTfJP@ECOOP, стр. 15-17. ACM, (2022)Indexed Categories and Bottom-Up Semantics of Logic Programs., и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 438-454. Springer, (2001)Efficient Constraint/Generator Removal from Double Description of Polyhedra., , и . NSAD, том 307 из Electronic Notes in Theoretical Computer Science, стр. 3-15. Elsevier, (2014)Increasing biases can be more efficient than increasing weights., , , , , , , , , и . WACV, стр. 2798-2807. IEEE, (2024)Narrowing Operators on Template Abstract Domains., , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 57-72. Springer, (2015)Modeling Web Applications by the Multiple Levels of Integrity Policy., , , , и . WWV, DSIC-II/03/05, стр. 161-175. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Numerical static analysis with Soot., , и . SOAP@PLDI, стр. 25-30. ACM, (2013)Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata., и . MIG, том 7660 из Lecture Notes in Computer Science, стр. 378-381. Springer, (2012)Descending chains and narrowing on template abstract domains., , , и . Acta Informatica, 55 (6): 521-545 (2018)