메뉴 건너뛰기




Volumn 9, Issue 4, 1999, Pages 373-426

Compilation and equivalence of imperative objects

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0033462273     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796899003482     Document Type: Article
Times cited : (12)

References (52)
  • 2
    • 0347737748 scopus 로고
    • An imperative object calculus: Basic typing and soundness
    • Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign
    • Abadi, M. and Cardelli, L. (1995b) An imperative object calculus: Basic typing and soundness. Proceedings SIPL'95. Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign.
    • (1995) Proceedings SIPL'95
    • Abadi, M.1    Cardelli, L.2
  • 6
    • 0029631979 scopus 로고
    • A language with distributed scope
    • Cardelli, L. (1995) A language with distributed scope. Computing systems, 8(1), 27-59.
    • (1995) Computing Systems , vol.8 , Issue.1 , pp. 27-59
    • Cardelli, L.1
  • 8
    • 0345846168 scopus 로고    scopus 로고
    • Analysis for concurrent objects
    • Bowman, H. and Derrick, J. (eds.) Chapman & Hall
    • di Blasio, P., Fisher, K. and Talcott, C. (1997) Analysis for concurrent objects. In: Bowman, H. and Derrick, J. (eds.), Proceedings FMOODS'97. Chapman & Hall.
    • (1997) Proceedings FMOODS'97
    • Di Blasio, P.1    Fisher, K.2    Talcott, C.3
  • 12
    • 33846512236 scopus 로고    scopus 로고
    • Operational equivalences for untyped and polymorphic object calculi
    • Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
    • Gordon, A. D. (1998) Operational equivalences for untyped and polymorphic object calculi. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
    • (1998) Higher Order Operational Techniques in Semantics
    • Gordon, A.D.1
  • 13
    • 0003299191 scopus 로고    scopus 로고
    • A concurrent object calculus: Reduction and typing
    • Elsevier
    • Gordon, A. D. and Hankin, P. D. (1998) A concurrent object calculus: Reduction and typing. Proceedings HLCL'98. Elsevier.
    • (1998) Proceedings HLCL'98
    • Gordon, A.D.1    Hankin, P.D.2
  • 15
    • 0029709488 scopus 로고    scopus 로고
    • Bisimilarity for a first-order calculus of objects with subtyping
    • ACM
    • Gordon, A. D. and Rees, G. D. (1996) Bisimilarity for a first-order calculus of objects with subtyping. Proceedings POPL'96, pp. 386-395. ACM.
    • (1996) Proceedings POPL'96 , pp. 386-395
    • Gordon, A.D.1    Rees, G.D.2
  • 16
    • 85034534944 scopus 로고    scopus 로고
    • Compilation and equivalence of imperative objects (revised report)
    • BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Kharagpur, India, December 1997
    • Gordon, A. D., Lassen, S. B. and Hankin, P. D. (1998) Compilation and equivalence of imperative objects (revised report). BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 1997. Lecture Notes of Computer Science 1346, pp. 74-87. Springer-Verlag.
    • (1998) Foundations of Software Technology and Theoretical Computer Science, 17th Conference
    • Gordon, A.D.1    Lassen, S.B.2    Hankin, P.D.3
  • 17
    • 0347107253 scopus 로고    scopus 로고
    • Springer-Verlag
    • Gordon, A. D., Lassen, S. B. and Hankin, P. D. (1998) Compilation and equivalence of imperative objects (revised report). BRICS Report RS-98-55, BRICS, Department of Computer Science, University of Aarhus. A shorter version was presented at Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 1997. Lecture Notes of Computer Science 1346, pp. 74-87. Springer-Verlag.
    • Lecture Notes of Computer Science 1346 , pp. 74-87
  • 20
    • 0032396220 scopus 로고    scopus 로고
    • Functional runtime systems within the lambda-sigma calculus
    • Hardin, T., Maranget, L. and Pagano, B. (1998) Functional runtime systems within the lambda-sigma calculus. J. Functional Programming, 8(2), 131-176.
    • (1998) J. Functional Programming , vol.8 , Issue.2 , pp. 131-176
    • Hardin, T.1    Maranget, L.2    Pagano, B.3
  • 22
    • 0000627561 scopus 로고    scopus 로고
    • Proving congruence of bisimulation in functional programming languages
    • Howe, D. J. (1996) Proving congruence of bisimulation in functional programming languages. Information & Computation, 124(2), 103-112.
    • (1996) Information & Computation , vol.124 , Issue.2 , pp. 103-112
    • Howe, D.J.1
  • 23
    • 0030110629 scopus 로고    scopus 로고
    • Accommodating interference in the formal design of concurrent object-based programs
    • Jones, C. B. (1996) Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design, 8(2), 105-122.
    • (1996) Formal Methods in System Design , vol.8 , Issue.2 , pp. 105-122
    • Jones, C.B.1
  • 26
    • 0001097061 scopus 로고
    • The mechanical evaluation of expressions
    • Landin, P. J. (1964) The mechanical evaluation of expressions. Computer J. 6, 308-320.
    • (1964) Computer J. , vol.6 , pp. 308-320
    • Landin, P.J.1
  • 27
    • 0004114806 scopus 로고
    • The ZINC experiment: An economical implementation of the ML language
    • INRIA, Rocquencourt, France
    • Leroy, X. (1990) The ZINC experiment: an economical implementation of the ML language. Technical Report 117, INRIA, Rocquencourt, France.
    • (1990) Technical Report 117
    • Leroy, X.1
  • 29
    • 84974295344 scopus 로고
    • Equivalence in functional languages with effects
    • Mason, I. and Talcott, C. (1991) Equivalence in functional languages with effects. J. Functional Programming, 1(3), 287-327.
    • (1991) J. Functional Programming , vol.1 , Issue.3 , pp. 287-327
    • Mason, I.1    Talcott, C.2
  • 30
    • 0026883141 scopus 로고
    • References, local variables and operational reasoning
    • Mason, I. and Talcott, C. (1992) References, local variables and operational reasoning. Proceedings LICS'92.
    • (1992) Proceedings LICS'92
    • Mason, I.1    Talcott, C.2
  • 32
    • 0024131319 scopus 로고
    • Semantical paradigms: Notes for an invited lecture
    • Meyer, A. and Cosmadakis, S. (1988) Semantical paradigms: Notes for an invited lecture. Proceedings LICS'88, pp. 236-253.
    • (1988) Proceedings LICS'88 , pp. 236-253
    • Meyer, A.1    Cosmadakis, S.2
  • 33
    • 0001207273 scopus 로고
    • Towards fully abstract semantics for local variables
    • Meyer, A. and Sieber, K. (1988) Towards fully abstract semantics for local variables. Proceedings POPL'88, pp. 236-253.
    • (1988) Proceedings POPL'88 , pp. 236-253
    • Meyer, A.1    Sieber, K.2
  • 35
    • 0026188821 scopus 로고
    • Notions of computations and monads
    • Moggi, E. (1989) Notions of computations and monads. Information & Computation, 93, 55-92.
    • (1989) Information & Computation , vol.93 , pp. 55-92
    • Moggi, E.1
  • 39
    • 0026977485 scopus 로고
    • A compilation method for ML-style polymorphic record calculi
    • ACM
    • Ohori, A. (1992) A compilation method for ML-style polymorphic record calculi. Proceedings POPL'92, pp. 154-165. ACM.
    • (1992) Proceedings POPL'92 , pp. 154-165
    • Ohori, A.1
  • 40
    • 0003685579 scopus 로고    scopus 로고
    • Operational reasoning for functions with local state
    • Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
    • Pitts, A. M. and Stark, I. D. B. (1998) Operational reasoning for functions with local state. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
    • (1998) Higher Order Operational Techniques in Semantics
    • Pitts, A.M.1    Stark, I.D.B.2
  • 41
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the lambda calculus
    • Plotkin, G. D. (1975) Call-by-name, call-by-value and the lambda calculus. Theoretical Comput. Sci. 1, 125-159.
    • (1975) Theoretical Comput. Sci. , vol.1 , pp. 125-159
    • Plotkin, G.D.1
  • 42
    • 0000230630 scopus 로고
    • LCF considered as a programming language
    • Plotkin, G. D. (1977) LCF considered as a programming language. Theoretical Comput. Sci., 5, 223-255.
    • (1977) Theoretical Comput. Sci. , vol.5 , pp. 223-255
    • Plotkin, G.D.1
  • 43
    • 0003931061 scopus 로고
    • A structural approach to operational semantics
    • DAIMI, Aarhus University
    • Plotkin, G. D. (1981) A structural approach to operational semantics. Technical Report FN-19, DAIMI, Aarhus University.
    • (1981) Technical Report FN-19
    • Plotkin, G.D.1
  • 44
    • 0003262677 scopus 로고    scopus 로고
    • Objects and classes in Algol-like languages
    • Reddy, U. S. (1998) Objects and classes in Algol-like languages. Proceedings FOOL'98.
    • (1998) Proceedings FOOL'98
    • Reddy, U.S.1
  • 45
    • 0012627019 scopus 로고
    • Idealized Algol and its specification logic
    • Néel, D. (ed.) Cambridge University Press
    • Reynolds, J. C. (1982) Idealized Algol and its specification logic. In: Néel, D. (ed.), Tools and Notions for Program Construction, pp. 121-161. Cambridge University Press.
    • (1982) Tools and Notions for Program Construction , pp. 121-161
    • Reynolds, J.C.1
  • 47
    • 84866805045 scopus 로고    scopus 로고
    • Typed π-calculus at work: A proof of Jones' parallelisation transformation on concurrent objects
    • Sangiorgi, D. (1997) Typed π-calculus at work: a proof of Jones' parallelisation transformation on concurrent objects. Proceedings FOOL'97.
    • (1997) Proceedings FOOL'97
    • Sangiorgi, D.1
  • 48
    • 0031536592 scopus 로고    scopus 로고
    • Deriving a lazy abstract machine
    • Sestoft, P. (1997) Deriving a lazy abstract machine. J. Functional Programming, 3(7), 231-264.
    • (1997) J. Functional Programming , vol.3 , Issue.7 , pp. 231-264
    • Sestoft, P.1
  • 49
    • 84949215228 scopus 로고    scopus 로고
    • Names, equations, relations: Practical ways to reason about new
    • Springer-Verlag
    • Stark, I. (1997) Names, equations, relations: Practical ways to reason about new. Proceedings TLCA'97: Lecture Notes in Computer Science 1210, pp. 336-353. Springer-Verlag.
    • (1997) Proceedings TLCA'97: Lecture Notes in Computer Science 1210 , pp. 336-353
    • Stark, I.1
  • 50
    • 0011231422 scopus 로고    scopus 로고
    • Reasoning about functions with effects
    • Gordon, A. D. and Pitts, A. M. (eds.) Cambridge University Press
    • Talcott, C. (1998) Reasoning about functions with effects. In: Gordon, A. D. and Pitts, A. M. (eds.), Higher Order Operational Techniques in Semantics. Cambridge University Press.
    • (1998) Higher Order Operational Techniques in Semantics
    • Talcott, C.1
  • 51
    • 0001216410 scopus 로고
    • Objects in the pi-calculus
    • Walker, D. (1995) Objects in the pi-calculus. Information & Computation, 116(2), 253-271.
    • (1995) Information & Computation , vol.116 , Issue.2 , pp. 253-271
    • Walker, D.1
  • 52
    • 0029193620 scopus 로고
    • Compiler correctness for parallel languages
    • ACM
    • Wand, M. (1995) Compiler correctness for parallel languages. Proceedings FPCA'95, pp. 120-134. ACM.
    • (1995) Proceedings FPCA'95 , pp. 120-134
    • Wand, M.1


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