Compositional characterization of observable program properties
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) no. 5, pp. 403-424.
@article{ITA_1992__26_5_403_0,
     author = {Steffen, B. and Barry Jay, C. and Mendler, M.},
     title = {Compositional characterization of observable program properties},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {403--424},
     publisher = {EDP-Sciences},
     volume = {26},
     number = {5},
     year = {1992},
     zbl = {0768.68088},
     mrnumber = {1187510},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1992__26_5_403_0/}
}
TY  - JOUR
AU  - Steffen, B.
AU  - Barry Jay, C.
AU  - Mendler, M.
TI  - Compositional characterization of observable program properties
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1992
DA  - 1992///
SP  - 403
EP  - 424
VL  - 26
IS  - 5
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1992__26_5_403_0/
UR  - https://zbmath.org/?q=an%3A0768.68088
UR  - https://www.ams.org/mathscinet-getitem?mr=1187510
LA  - en
ID  - ITA_1992__26_5_403_0
ER  - 
Steffen, B.; Barry Jay, C.; Mendler, M. Compositional characterization of observable program properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) no. 5, pp. 403-424. http://www.numdam.org/item/ITA_1992__26_5_403_0/

[AH87] S. Abramsky and C. L. Hankin, eds, Abstract Interpretation of Declarative Languages, Ellis-Horwood, 1987.

[BHA86] G. L. Burn, C. L. Hankin and S. Abramsky, The Theory of Strictness Analysis for Higher Order Functions, Sci. Comput. Programming, 1986, 7, pp. 249-278. | MR 867677 | Zbl 0603.68013

[BW85] M. Barr and C. Wells, Toposes, Triples and Theories, Springer Verlag, 1985. | MR 771116 | Zbl 0567.18001

[CC77a] P. Cousot and R. Cousot, 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.

[CC77b] P. Cousot and R. Cousot, Automatic Synthesis of Optimal Invariant Assertions: Mathematical Foundations. A.C.M. Sigplan Notices, 1977, 12, pp. 1-12.

[CC79] P. Cousot and R. Cousot, Systematic Design of Program Analysis Framework. In 6th P.O.P.L., 1979, pp. 269-282.

[HJ88] C. A. R. Hoare and H. Jifeng, Data Refinement in a Categorical Setting. Technical Report, Oxford Univ. Computing Lab., February 1988.

[Jay90a] C. B. Jay, Extending Properties to Categories of Partial Maps. Tech. Rep. E.C.S.-L.F.C.S.-90-l07, University of Edinburgh, 1990.

[Jay90e] C. B. Jay, Partial Functions, Ordered Categories, Limits and Cartesian Closure. In: G. BIRTWISTLE (ed.) IV Higher Order Workshop, Banff, 1990, Springer, 1991.

[Jay91] C. B. Jay, Modelling Reduction in Confluent Categories. Tech. Rep. E.C.S.-L.F.C.S.-91-187, University of Edinburgh, 1991. | MR 1176962

[JN90] N. D. Jones and F. Nielson, Abstract Interpretation: A Semantics Based Tool for Program Analysis. In Handbook of Logic in Computer Science.

[KS74] G. M. Kelly and R. Street, 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. | MR 357542 | Zbl 0334.18016

[LS86] J. Lambeck and P. J. Scott, Introduction to Higher-Order Categorical Logic, vol. 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986. | MR 856915 | Zbl 0596.03002

[Mac71] S. Maclane, Categories for the Working Mathematician. Springer Verlag, 1971. | MR 354798 | Zbl 0232.18001

[MJ86] A. Mycroft and N. D. Jones, A Relational Framework for Abstract Interpretation. In Proceedings, 'Programs as Data Objects'. Springer Verlag, L.N.C.S. 217, 1986. | MR 846663 | Zbl 0585.68032

[Nie86] F. Nielson, A Bibliography on Abstract Interpretations. A.C.M. Sigplan Notices, 1986, 21, pp.31-38. | Zbl 1022.68500

[Plo80] G. D. Plotkin, 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. | MR 592811

[SP82] M. Smith and G. Plotkin, The Category-theoretic Solution of Recursive Domain Equations. S.I.A.M. J. Comput., 1982, 11. | MR 677666 | Zbl 0493.68022

[Ste87] B. Steffen, 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. | Zbl 0614.68012

[Ste89] B. Steffen, Optimal Data Flow Analysis via Observable Equivalence. In M.F.C.S.'89, 1989.