{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:46:33Z","timestamp":1764557193246},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691631"},{"type":"electronic","value":"9783540691662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_1","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T09:25:03Z","timestamp":1215941103000},"page":"1-17","source":"Crossref","is-referenced-by-count":12,"title":["Transforming Abstract Interpretations by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Giacobazzi","sequence":"first","affiliation":[]},{"given":"Isabella","family":"Mastroeni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"ENTCS","volume-title":"Proc. of the 23th Internat. Symp. on Mathematical Foundations of Programming Semantics MFPS 2007","author":"A. Banerjee","year":"2007","unstructured":"Banerjee, A., Giacobazzi, R., Mastroeni, I.: What you lose is what you leak: Information leakage in declassifivation policies. In: Proc. of the 23th Internat. Symp. on Mathematical Foundations of Programming Semantics MFPS 2007. ENTCS, vol.\u00a01514. Elsevier, Amsterdam (2007)"},{"key":"1_CR2","volume-title":"Residuation theory","author":"T.S. Blyth","year":"1972","unstructured":"Blyth, T.S., Janowitz, M.F.: Residuation theory. Pergamon Press, Oxford (1972)"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/239912.239914","volume":"19","author":"A. Cortesi","year":"1997","unstructured":"Cortesi, A., Fil\u00e9, G., Giacobazzi, R., Palamidessi, C., Ranzato, F.: Complementation in abstract interpretation. ACM Trans. Program. Lang. Syst.\u00a019(1), 7\u201347 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR4","series-title":"NATO ASI Series F","volume-title":"Calculational System Design","author":"P. Cousot","year":"1999","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbr\u00fcggen, R. (eds.) Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)"},{"issue":"1-2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci.\u00a0277(1-2), 47\u2013103 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proc. of Conf. Record of the 4th ACM Symp. on Principles of Programming Languages (POPL\u00a01977)","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of Conf. Record of the 4th ACM Symp. on Principles of Programming Languages (POPL\u00a01977), pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"2","key":"1_CR7","first-page":"185","volume":"38","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: A constructive characterization of the lattices of all retractions, preclosure, quasi-closure and closure operators on a complete lattice. Portug. Math.\u00a038(2), 185\u2013198 (1979)","journal-title":"Portug. Math."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Proc. of Conf. Record of the 6th ACM Symp. on Principles of Programming Languages (POPL 1979)","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proc. of Conf. Record of the 6th ACM Symp. on Principles of Programming Languages (POPL 1979), pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proc. of the 4th Internat. Symp. on Programming Language Implementation and Logic Programming (PLILP 1992)","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation (invited paper). In: Bruynooghe, M., Wirsing, M. (eds.) Proc. of the 4th Internat. Symp. on Programming Language Implementation and Logic Programming (PLILP 1992). LNCS, vol.\u00a0631, pp. 269\u2013295. Springer, Heidelberg (1992)"},{"key":"1_CR10","first-page":"178","volume-title":"Proc. of Conf. Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Proc. of Conf. Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 178\u2013190. ACM Press, New York (2002)"},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/234528.234742","volume":"28","author":"G. Fil\u00e9","year":"1996","unstructured":"Fil\u00e9, G., Giacobazzi, R., Ranzato, F.: A unifying view of abstract domain design. ACM Comput. Surv.\u00a028(2), 333\u2013336 (1996)","journal-title":"ACM Comput. Surv."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-36384-X_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Giacobazzi","year":"2002","unstructured":"Giacobazzi, R., Mastroeni, I.: Domain compression for complete abstractions. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 146\u2013160. Springer, Heidelberg (2002)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/964001.964017","volume-title":"Proc. of the 31st Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL 2004)","author":"R. Giacobazzi","year":"2004","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: Parameterizing non-interference by abstract interpretation. In: Proc. of the 31st Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL 2004), pp. 186\u2013197. ACM-Press, New York (2004)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-540-31987-0_21","volume-title":"Programming Languages and Systems","author":"R. Giacobazzi","year":"2005","unstructured":"Giacobazzi, R., Mastroeni, I.: Adjoining declassification and attack models by abstract interpretation. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 295\u2013310. Springer, Heidelberg (2005)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/3-540-47764-0_20","volume-title":"Static Analysis","author":"R. Giacobazzi","year":"2001","unstructured":"Giacobazzi, R., Quintarelli, E.: Incompleteness, counterexamples and refinements in abstract model-checking. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, pp. 356\u2013373. Springer, Heidelberg (2001)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1007\/3-540-63165-8_230","volume-title":"Automata, Languages and Programming","author":"R. Giacobazzi","year":"1997","unstructured":"Giacobazzi, R., Ranzato, F.: Refining and compressing abstract domains. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 771\u2013781. Springer, Heidelberg (1997)"},{"issue":"1-3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0167-6423(97)00034-8","volume":"32","author":"R. Giacobazzi","year":"1998","unstructured":"Giacobazzi, R., Ranzato, F.: Optimal domains for disjunctive abstract interpretation. Sci. Comput. Program\u00a032(1-3), 177\u2013210 (1998)","journal-title":"Sci. Comput. Program"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/inco.1998.2724","volume":"145","author":"R. Giacobazzi","year":"1998","unstructured":"Giacobazzi, R., Ranzato, F.: Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain refinements. Inform. and Comput.\u00a0145(2), 153\u2013190 (1998)","journal-title":"Inform. and Comput."},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R. Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. J. of the ACM.\u00a047(2), 361\u2013416 (2000)","journal-title":"J. of the ACM."},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1042038.1042040","volume":"6","author":"R. Giacobazzi","year":"2005","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract domains condensing. ACM Transactions on Computational Logic (ACM-TOCL)\u00a06(1), 33\u201360 (2005)","journal-title":"ACM Transactions on Computational Logic (ACM-TOCL)"},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1145\/293677.293680","volume":"20","author":"R. Giacobazzi","year":"1998","unstructured":"Giacobazzi, R., Scozzari, F.: A logical model for relational abstract domains. ACM Trans. Program. Lang. Syst.\u00a020(5), 1067\u20131109 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"1_CR22","first-page":"221","volume":"26","author":"M.F. Janowitz","year":"1967","unstructured":"Janowitz, M.F.: Residuated closure operators. Portug. Math.\u00a026(2), 221\u2013252 (1967)","journal-title":"Portug. Math."},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. on selected ares in communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE J. on selected ares in communications"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M. Ward","year":"1942","unstructured":"Ward, M.: The closure operators of a lattice. Ann. Math.\u00a043(2), 191\u2013196 (1942)","journal-title":"Ann. Math."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:30:07Z","timestamp":1620016207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}