{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:49Z","timestamp":1780994629937,"version":"3.54.1"},"reference-count":20,"publisher":"EDP Sciences","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1992]]},"DOI":"10.1051\/ita\/1992260504031","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T09:59:27Z","timestamp":1486029567000},"page":"403-424","source":"Crossref","is-referenced-by-count":2,"title":["Compositional characterization of observable program properties"],"prefix":"10.1051","volume":"26","author":[{"given":"B.","family":"Steffen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Barry Jay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Mendler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"[AH87] ABRAMSKY S. and HANKIN C. L., eds, Abstract Interpretation of Declarative Languages, Ellis-Horwood, 1987."},{"key":"R2","doi-asserted-by":"crossref","unstructured":"[BHA86] BURN G. L., HANKIN C. L. and ABRAMSKY S., The Theory of Strictness Analysis for Higher Order Functions, Sci. Comput. Programming, 1986, 7, pp. 249-278.8676770603.68013","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"[BW85] BARR M. and WELLS C., Toposes, Triples and Theories, Springer Verlag, 1985.7711160567.18001","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"[CC77a] COUSOT P. and COUSOT R., Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximaion of Fixpoints. In 4th P.O.P.L., 1977, pp. 238-252.","DOI":"10.1145\/512950.512973"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"[CC77b] COUSOT P. and COUSOT R., Automatic Synthesis of Optimal Invariant Assertions: Mathematical Foundations. A.C.M. Sigplan Notices, 1977, 12, pp. 1-12.","DOI":"10.1145\/872734.806926"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"[CC79] COUSOT P. and COUSOT R., Systematic Design of Program Analysis Framework. In 6th P.O.P.L., 1979, pp. 269-282.","DOI":"10.1145\/567752.567778"},{"key":"R7","unstructured":"[HJ88] HOARE C. A. R. and JIFENG H., Data Refinement in a Categorical Setting. Technical Report, Oxford Univ. Computing Lab., February 1988."},{"key":"R8","unstructured":"[Jay90a] JAY C. B., Extending Properties to Categories of Partial Maps. Tech. Rep. E.C.S.-L.F.C.S.-90-l07, University of Edinburgh, 1990."},{"key":"R9","doi-asserted-by":"crossref","unstructured":"[Jay90e] JAY C. B., Partial Functions, Ordered Categories, Limits and Cartesian Closure. In: G. BIRTWISTLE (ed.) IV Higher Order Workshop, Banff, 1990, Springer, 1991.","DOI":"10.1007\/978-1-4471-3182-3_10"},{"key":"R10","unstructured":"[Jay91] JAY C. B., Modelling Reduction in Confluent Categories. Tech. Rep. E.C.S.-L.F.C.S.-91-187, University of Edinburgh, 1991.1176962"},{"key":"R11","unstructured":"[JN90] JONES N. D. and NIELSON F., Abstract Interpretation: A Semantics Based Tool for Program Analysis. In Handbook of Logic in Computer Science."},{"key":"R12","doi-asserted-by":"crossref","unstructured":"[KS74] KELLY G. M. and STREET R., Review of the Elements of 2-Categories. In G. M. KELLY, ed., Proceedings Sydney Category Theory Seminar 1972\/1973, Springer-Verlag, 1974, pp.75-103.3575420334.18016","DOI":"10.1007\/BFb0063101"},{"key":"R13","unstructured":"[LS86] LAMBECK J. and SCOTT P. J., Introduction to Higher-Order Categorical Logic, vol. 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986.8569150596.03002"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"[Mac71] MACLANE S., Categories for the Working Mathematician. Springer Verlag, 1971.3547980232.18001","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"R15","unstructured":"[MJ86] MYCROFT A. and JONES N. D., A Relational Framework for Abstract Interpretation. In Proceedings, 'Programs as Data Objects'. Springer Verlag, L.N.C.S. 217, 1986.8466630585.68032"},{"key":"R16","unstructured":"[Nie86] NIELSON F., A Bibliography on Abstract Interpretations. A.C.M. Sigplan Notices, 1986, 21, pp.31-38."},{"key":"R17","unstructured":"[Plo80] PLOTKIN G. D., Lambda Defmability in the Full Type Hierarchy. In R. HINDLEY and J. SELDIN, eds., To H.B. Curry: Essays in Combinatory Logic, Lambda Calculas and Formalisms. Academic Press, 1980.592811"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"[SP82] SMITH M. and PLOTKIN G., The Category-theoretic Solution of Recursive Domain Equations. S.I.A.M. J. Comput., 1982, 11.6776660493.68022","DOI":"10.1137\/0211062"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"[Ste87] STEFFEN B., Optimal Run Time Optimization - Proved by a New Look at Abstract Interpretations. In T.A.P.S.O.F.T.'87, L.N.C.S. 249, 1987, pp. 52-68.0614.68012","DOI":"10.1007\/3-540-17660-8_47"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"[Ste89] STEFFEN B., Optimal Data Flow Analysis via Observable Equivalence. In M.F.C.S.'89, 1989.","DOI":"10.1007\/3-540-51486-4_95"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260504031\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T01:56:43Z","timestamp":1568771803000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1992260504031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":20,"journal-issue":{"issue":"5"},"alternative-id":["ita1992260504031"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1992260504031","relation":{"has-version":[{"id-type":"doi","id":"10.20378\/irbo-52664","asserted-by":"object"}]},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}