Data refinement and algebraic structure

Acta Informatica

Volumn 36, Issue 9-10, 2000, Pages 693-719

  Kinoshita, Yoshiki ^a   Power, John ^b  

^a ELECTROTECHNICAL LABORATORY   (Japan)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034370004     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050171     Document Type: Article

References (26)

1. 1. S.O. Anderson, A.J. Power: A representable approach to nondeterminism. J Theor Comput Sci 177: 3-25 (1997)
2. 2. P.H.B. Gardiner, Carroll Morgan: A single complete rule for data refinement. Form Asp Comput 5: 367-382 (1993)
3. 3. R. Gordon, A.J. Power: Enrichment through variation. J Pure Appl Algebra 120: 167-185 (1997)
4. 4. R. Gordon, A.J. Power: Algebraic structure for bicategory enriched categories. J Pure Appl Algebra 130: 119-132 (1998)
5. 5. R. Gordon, A.J. Power: Gabriel-Ulmer duality in categories enriched in bicategories. J Pure Appl Algebra, (to appear)
6. 6. J.W. Gray: Formal category theory - adjointness for 2-categories. Springer Lecture Notes in Mathematics. Vol. 319 Berlin Heidelberg New York: Springer, 1974
7. 7. C.A.R. Hoare: Proof of correctness of data representations. Acta Inf 1: 271-281 (1972)
8. 8. C.A.R. Hoare: Data refinement in a categorical setting, unpublished manuscript, 1987
9. 9. C.A.R. Hoare, He Jifeng: Data refinement in a categorical setting. unpublished draft (1990)
10. 10. He Jifeng, C.A.R. Hoare: Categorical Semantics for Programming Languages. Springer Lecture Notes in Computer Science, Vol. 442, pp. 402-417. Berlin Heidelberg New York: Springer, 1990
11. 11. Cliff B. Jones: Data reification. In: The Theory and Practice of Refinement, J. McDermid (ed). Butterworths, 1989
12. 12. Neil Jones: Computability and complexity from a programming perspective. Electronic Notes in Theoretical Computer Science, 1:1, 1995. Proceedings of eleventh Mathematical Foundations of Programming Semantics.
13. 13. G.M. Kelly: Doctrinal adjunction. Springer Lecture Notes in Mathematics, Vol. 420, pp. 257-280. Berlin Heidelberg New York: Springer, 1974
14. 14. G.M. Kelly, A.J. Power: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. J Pure Appl Algebra 89: 163-179 (1993)
15. 15. Y. Kinoshita, P.J. O'Hearn, A.J. Power, M. Takeyama, R.D. Tennent: An axiomatic approach to binary logical relations with applications to data refinement. In: Proc. Theoretical Aspects of Computer Science. Springer Lecture Notes in Computer Science, Vol. 1281, pp. 191-212. Berlin Heidelberg New York: Springer, 1997
16. 16. Y. Kinoshita, A.J. Power: Lax naturality through enrichment. J. Pure Appl. Algebra 112(1): 53-72 (1996)
17. 17. Y. Kinoshita, A.J. Power, M. Takeyama: Sketches. J. Pure Appl. Algebra 143: 275-291 (1999)
18. 18. C.E. Martin, C.A.R. Hoare, He Jifeng: Pre-adjunctions in order enriched categories. Math Struct Comput Sci 1: 141-158 (1990)
19. 19. J.C. Mitchell: Representation independence and data abstraction. In: Proc. 13th ACM Symp. Principles of Programming Languages, pp. 263-276, 1986
20. 20. D.A. Naumann: Data refinement, call by value, and higher order programs. Form Asp Comput 7: 652-662 (1995)
21. 21. T. Nipkow: Non-deterministic data types: Models and implementations. Acta Inf 22: 629-661 (1986)
22. 22. A.J. Power: An algebraic formulation for data refinement. Springer Lecture Notes in Computer Science, Vol. 442, pp. 39-401. Berlin Heidelberg New York: Springer, 1990
23. 23. E. Robinson: Variations on algebra: monadicity and generalisations of equational theories. Math Struct Comput Sci (to appear)
24. 24. O. Schoett: Behavioural correctness of data representations. Technical Report CSR-185-85, Dept of Computer Science, University of Edinburgh, 1985
25. 25. R. D. Tennent: Correctness of data representations in ALGOL-like languages. In: A. W. Roscoe, editor, A Classical Mind, Essays in Honour of C. A. R. Hoare, chapter 23, pp. 405-417. Prentice-Hall International, 1994
26. 26. R.D. Tennent: Semantics of Programming Languages. Prentice-Hall, 1991