Logozzo, Francesco, 1976-....
Logozzo, Francesco
VIAF ID: 208248215 ( Personal )
Permalink: http://viaf.org/viaf/208248215
Preferred Forms
-
- 100 1 _ ‡a Logozzo, Francesco
-
- 100 1 _ ‡a Logozzo, Francesco
- 100 1 _ ‡a Logozzo, Francesco ‡d 1976-
- 100 1 _ ‡a Logozzo, Francesco, ‡d 1976-....
5xx's: Related Names (4)
- 510 2 _ ‡a Microsoft Corporation
- 510 2 _ ‡a Microsoft Corporation ‡e Affiliation
- 551 _ _ ‡a Siderno
- 510 2 _ ‡a VMCAI 2008 (2008 : San Francisco, Calif.)
Works
Title | Sources |
---|---|
Analyse statique au niveau binaire. | |
Analyse statique de programmes manipulant des tableaux | |
Analysis of programs using arrays. | |
Binary level static analysis | |
Modular static analysis of object-oriented languages. | |
Static analysis : 20th International symposium, SAS 2013, Seatle, WA, USA, June 20-22, 2013 : proceedings | |
Static type and value analysis by abstract interpretation of Python programs with native C libraries | |
Verification, model checking, and abstract interpretation 9th international conference ; proceedings |