@inproceedings{2b33a9a9f3c04e1e94a0c3738a595de4,
title = "Modularity in lattices: A case study on the correspondence between top-down and bottom-up analysis",
abstract = "Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses, which compute a different procedure summary for every calling context. However, compositional analyses are rare in practice as it is difficult to develop them with enough precision. We establish a connection between compositional analyses and modular lattices, which require certain associativity between the lattice join and meet operations, and use it to develop a compositional version of the connection analysis by Ghiya and Hendren. Our version is slightly more conservative than the original top-down analysis in order to meet our modularity requirement.",
author = "Ghila Castelnuovo and Mayur Naik and Noam Rinetzky and Mooly Sagiv and Hongseok Yang",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 22nd International Static Analysis Symposium, SAS 2015 ; Conference date: 09-09-2015 Through 11-09-2015",
year = "2015",
doi = "10.1007/978-3-662-48288-9_15",
language = "אנגלית",
isbn = "9783662482872",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "252--274",
editor = "Sandrine Blazy and Thomas Jensen",
booktitle = "Static Analysis- 22nd International Symposium, SAS 2015, Proceedings",
address = "גרמניה",
}