{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T06:56:46Z","timestamp":1779087406560,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540442356","type":"print"},{"value":"9783540457893","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45789-5_30","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T13:50:10Z","timestamp":1186840210000},"page":"428-443","source":"Crossref","is-referenced-by-count":4,"title":["Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties"],"prefix":"10.1007","author":[{"given":"Damien","family":"Mass\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"30_CR1","unstructured":"E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT press, 1999."},{"key":"30_CR2","unstructured":"P. Cousot. M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de point fixes d\u2019op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. Th\u00e9se \u00e9s sciences math\u00e9matiques, University of Grenoble, March 1978."},{"issue":"1\u20132","key":"30_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"P. Cousot. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science, 277(1\u20132):47\u2013103, 2002.","journal-title":"Theoretical Computer Science"},{"key":"30_CR4","unstructured":"P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming, pages 106\u2013130. Dunod, Paris, France, 1976."},{"key":"30_CR5","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, California, 1977. ACM Press, New York, NY."},{"issue":"4","key":"30_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, August 1992.","journal-title":"Journal of Logic and Computation"},{"key":"30_CR7","first-page":"83","volume-title":"Conference Record of the Ninthteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Conference Record of the Ninthteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 83\u201394, Albuquerque, New Mexico, January 1992. ACM Press, New York, NY."},{"key":"30_CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84\u201397, Tucson, Arizona, 1978. ACM Press, New York, NY."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Panagiotis Manolios and Richard J. Trefler. Safety and liveness in branching time. In Logic in Computer Science, pages 366-, 2001.","DOI":"10.1109\/LICS.2001.932512"},{"key":"30_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_7","volume-title":"Proceedings of the Second Symposium PADO\u20192001, Programs as Data Objects","author":"D. Mass\u00e9","year":"2001","unstructured":"D. Mass\u00e9. Combining backward and forward analyses of temporal properties. In O. Danvy and A. Filinski, editors, Proceedings of the Second Symposium PADO\u20192001, Programs as Data Objects, volume 2053 of Lecture Notes in Computer Sciences, pages 155\u2013172, \u00c5rhus, Denmark, 21\u201323 May 2001. Springer-Verlag, Berlin, Germany."},{"key":"30_CR11","unstructured":"Laurent Mauborgne. Representation of Sets of Trees for Abstract Interpretation. PhD thesis, \u00c9cole Polytechnique, 1999."},{"issue":"4","key":"30_CR12","first-page":"290","volume":"7","author":"L. Mauborgne","year":"2000","unstructured":"Laurent Mauborgne. An incremental unique representation for regular trees. Nordic Journal of Computing, 7(4):290\u2013311, 2000.","journal-title":"Nordic Journal of Computing"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"A. Min\u00e9. The octagon abstract domain. In AST 2001 in WCRE 2001, IEEE, pages 310\u2013319. IEEE CS Press, October 2001. http:\/\/www.di.ens.fr~mine\/publi\/article-mine-padoII.pdf.","DOI":"10.1109\/WCRE.2001.957836"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45789-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:22:19Z","timestamp":1737361339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45789-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442356","9783540457893"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45789-5_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}