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