메뉴 건너뛰기




Volumn 1683, Issue , 1999, Pages 562-576

Data refinement for call-by-value programming languages

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY;

EID: 84956860512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_39     Document Type: Conference Paper
Times cited : (13)

References (23)
  • 4
    • 0015482118 scopus 로고
    • Proof of correctness of data representations
    • Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1 (1972) 271-281.
    • (1972) Acta Informatica , vol.1 , pp. 271-281
    • Hoare, C.A.R.1
  • 7
    • 84956857371 scopus 로고    scopus 로고
    • Pre-logical relations
    • (in this volume)
    • Honsell, F., Sannella, D.T.: Pre-logical relations. Proc. CSL 99 (in this volume).
    • Proc , vol.CSL 99
    • Honsell, F.1    Sannella, D.T.2
  • 9
    • 34247867735 scopus 로고
    • Basic concepts of enriched category theory
    • Kelly, G.M.: Basic concepts of enriched category theory. Cambridge University Press (1982).
    • (1982) Cambridge University Press
    • Kelly, G.M.1
  • 10
    • 84957679731 scopus 로고    scopus 로고
    • An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement
    • Abadi and Ito (eds.) Springer
    • Kinoshita, Y., O'Hearn, P., Power, A.J., Takeyama, M., Tennent, R.D.: An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. Proc TACS 97. LNCS 1281. Abadi and Ito (eds.) Springer (1997) 191-212.
    • (1997) Proc TACS 97. LNCS 1281 , pp. 191-212
    • Kinoshita, Y.1    O'hearn, P.2    Power, A.J.3    Takeyama, M.4    Tennent, R.D.5
  • 18
    • 0000745709 scopus 로고
    • Data refinement, call by value, and higher order programs
    • Naumann, D.A.: Data refinement, call by value, and higher order programs. Formal Aspects of Computing 7 (1995) 752-762.
    • (1995) Formal Aspects of Computing , vol.7 , pp. 752-762
    • Naumann, D.A.1
  • 19
    • 0013114839 scopus 로고    scopus 로고
    • Premonoidal categories as categories with algebraic structure
    • (to appear)
    • Power, A.J.: Premonoidal categories as categories with algebraic structure. Theoretical Computer Science (to appear).
    • Theoretical Computer Science
    • Power, A.J.1
  • 22
    • 84957675380 scopus 로고    scopus 로고
    • Environments, Continuation Semantics and Indexed Categories
    • LNCS 1281 Abadi and Ito (eds)
    • Power, A.J., Thielecke, H.: Environments, Continuation Semantics and Indexed Categories. Proc TACS 97. LNCS 1281 Abadi and Ito (eds) (1997) 391-414
    • (1997) Proc TACS 97 , pp. 391-414
    • Power, A.J.1    Thielecke, H.2
  • 23
    • 0002262704 scopus 로고
    • Correctness of data representations in ALGOL-like languages
    • In:, A.W. Roscoe (ed.) Prentice-Hall
    • Tennent, R.D.: Correctness of data representations in ALGOL-like languages. In: A Classical Mind, Essays in Honour of C.A.R. Hoare, A.W. Roscoe (ed.) Prentice-Hall (1994) 405-417.
    • (1994) A Classical Mind, Essays in Honour of C.A.R. Hoare , pp. 405-417
    • Tennent, R.D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.