Search for Author All Reviews
	Cortesi, Agostino     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Advanced computing and systems for security: volume nine Chaki R., Cortesi A., Saeed K., Chaki N., Springer International Publishing, New York, NY, 2020. 124 pp.  Type: Book The 2019 Applied Computation and Security Systems (ACSS) symposium discussed using fuzzy logic, geo maps, and other approaches to analyze, forecast, scale, and secure wireless sensor networks (WSNs). This volume includes eight of the 1...... Nov 19 2019     The quotient of an abstract interpretation Cortesi A., Filé G., Winsborough W. Theoretical Computer Science 202(1-2): 163-192, 1998.  Type: Article The authors add to the understanding of the abstract interpretation of programs by introducing the concept of a quotient to compare abstract domains. This extends the earlier ideas that they introduced in a previous paper [1] as well a...... Nov 1 1998     Complementation in abstract interpretation Cortesi A., Filé G., Ranzato F., Giacobazzi R., Palamidessi C. ACM Transactions on Programming Languages and Systems 19(1): 7-47, 1997.  Type: Article Abstract interpretation is concerned with the semantics of programming languages at different levels of abstraction. The idea is to construct abstract domains that, in some sense, approximate the concrete domain in which the full progr...... Jul 1 1997
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy