Search for Author All Reviews
	Logozzo, Francesco     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       A parametric segmentation functor for fully automatic and scalable array content analysis Cousot P., Cousot R., Logozzo F. ACM SIGPLAN Notices 46(1): 105-118, 2011.  Type: Article Precise and scalable static analysis of realistic software is challenging due to several complex features used in software. One of these features, which has been the focus of attention in recent times, is an array. In spite of several ...... Jun 1 2011
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy