메뉴 건너뛰기




Volumn 172, Issue 1, 2002, Pages 63-97

Objects and classes in Algol-like languages

Author keywords

Algol like languages; Object oriented programming; Relational parametricity; Semantics; Specification logic

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

EID: 0037050647     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2001.2927     Document Type: Article
Times cited : (13)

References (70)
  • 3
    • 84957031289 scopus 로고    scopus 로고
    • A logic of object-oriented programs
    • "TAPSOFT '97 and CAAP/FASE," Springer-Verlag, Berlin
    • Abadi, M., and Leino, R. M. (1997), A logic of object-oriented programs, in "TAPSOFT '97 and CAAP/FASE," Lecture Notes in Computer Science, Vol. 1214, pp. 682-696, Springer-Verlag, Berlin.
    • (1997) Lecture Notes in Computer Science , vol.1214 , pp. 682-696
    • Abadi, M.1    Leino, R.M.2
  • 5
    • 0000954750 scopus 로고    scopus 로고
    • Linearity, sharing and state
    • (P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 20, Birkhäuser, Boston
    • Abramsky, S., and McCusker, G. (1997), Linearity, sharing and state, in "Algol-like Languages" (P. W. O'Hearn and R. D. Tennent, Eds.), Vol. 2, Chap. 20, Birkhäuser, Boston.
    • (1997) Algol-like Languages , vol.2
    • Abramsky, S.1    McCusker, G.2
  • 6
    • 84974720115 scopus 로고
    • Designing an object-oriented programming language with behavioural subtyping
    • "Foundations of Object-Oriented Languages" (J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds.), Springer-Verlag, Berlin
    • America, P. (1990), Designing an object-oriented programming language with behavioural subtyping, in "Foundations of Object-Oriented Languages" (J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 489, pp. 60-90, Springer-Verlag, Berlin.
    • (1990) Lecture Notes in Computer Science , vol.489 , pp. 60-90
    • America, P.1
  • 7
    • 84875382465 scopus 로고    scopus 로고
    • Objects, types and modal logics
    • electronic proceedings
    • Andersen, D. S., Pedersen, L. H., Hüttel, H., and Kleist, J. (1997), Objects, types and modal logics, in "FOOL 4," available at http://www.cs.indiana.edu/hyplan/pierce/fool/, electronic proceedings.
    • (1997) FOOL 4
    • Andersen, D.S.1    Pedersen, L.H.2    Hüttel, H.3    Kleist, J.4
  • 9
    • 85031242967 scopus 로고    scopus 로고
    • Refinement of concurrent object-oriented programs
    • (S. Goldsack and S. Kent, Eds.), Chap. 11, Springer-Verlag, Brelin
    • Borba, P., and Goguen, J. (1996), Refinement of concurrent object-oriented programs, in "Formal Methods and Object Technology" (S. Goldsack and S. Kent, Eds.), Chap. 11, Springer-Verlag, Brelin.
    • (1996) Formal Methods and Object Technology
    • Borba, P.1    Goguen, J.2
  • 10
    • 19144362257 scopus 로고
    • Mathematical Foundations of Programming Semantics: Eleventh Annual Conference
    • Elsevier, Amsterdam
    • Brookes, S., Main, M., Melton, A., and Mislove, M. (Eds.) (1995), "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference," Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam.
    • (1995) Electronic Notes in Theor. Comput. Sci. , vol.1
    • Brookes, S.1    Main, M.2    Melton, A.3    Mislove, M.4
  • 11
    • 17244371685 scopus 로고
    • PolyTOIL: A type-safe polymorphic object-oriented language
    • "ECOOP'95," Springer-Verlag, Berlin
    • Bruce, K. B. (1995), PolyTOIL: A type-safe polymorphic object-oriented language, in "ECOOP'95," Lecture Notes in Computer Science, Vol. 952, pp. 27-51, Springer-Verlag, Berlin.
    • (1995) Lecture Notes in Computer Science , vol.952 , pp. 27-51
    • Bruce, K.B.1
  • 12
    • 84957635439 scopus 로고    scopus 로고
    • Comparing object encodings
    • "Theoretical Aspects of Computer Software," Springer-Verlag, Berlin
    • Bruce, K. C., Cardelli, L., and Pierce, B. C. (1997), Comparing object encodings, in "Theoretical Aspects of Computer Software," Lecture Notes in Computer Science, Vol. 1281, pp. 415-438, Springer-Verlag, Berlin.
    • (1997) Lecture Notes in Computer Science , vol.1281 , pp. 415-438
    • Bruce, K.C.1    Cardelli, L.2    Pierce, B.C.3
  • 13
    • 84976664186 scopus 로고
    • A semantics of multiple inheritance
    • "Semantics of Data Types" (G. Kahn, D. B. MacQueen, and G. Plotkin, Eds.), Springer-Verlag, Berlin
    • Cardelli, L. (1984), A semantics of multiple inheritance, in "Semantics of Data Types" (G. Kahn, D. B. MacQueen, and G. Plotkin, Eds.), Lecture Notes in Computer Science, Vol. 173, pp. 51-67, Springer-Verlag, Berlin.
    • (1984) Lecture Notes in Computer Science , vol.173 , pp. 51-67
    • Cardelli, L.1
  • 14
    • 0022333721 scopus 로고
    • On understanding types, data abstraction, and polymorphism
    • Cardelli, L., and Wegner, P. (1986), On understanding types, data abstraction, and polymorphism, Comput. Surv. 17 (4), 471-522.
    • (1986) Comput. Surv. , vol.17 , Issue.4 , pp. 471-522
    • Cardelli, L.1    Wegner, P.2
  • 15
    • 0004239334 scopus 로고
    • Ph.D. thesis, Dep. of Computer Science, Brown Univ. (Tech. Report CS-89-33)
    • Cook, W. R. (1989), "A Denotational Semantics of Inheritance," Ph.D. thesis, Dep. of Computer Science, Brown Univ. (Tech. Report CS-89-33).
    • (1989) A Denotational Semantics of Inheritance
    • Cook, W.R.1
  • 16
    • 0025229172 scopus 로고
    • Inheritance is not subtyping
    • Assoc. Comput. Mach., New York; reprinted as Chap. 14 of [25]
    • Cook, W. R., Hill, W. L., and Canning, P. S. (1990), Inheritance is not subtyping, in "ACM Symp. on Princ. of Program. Lang.," pp. 125-135, Assoc. Comput. Mach., New York; reprinted as Chap. 14 of [25].
    • (1990) ACM Symp. on Princ. of Program. Lang. , pp. 125-135
    • Cook, W.R.1    Hill, W.L.2    Canning, P.S.3
  • 17
    • 84943347349 scopus 로고
    • An Algol-based simulation language
    • Dahl, O.-J., and Nygaard, K. (1966), An Algol-based simulation language, Comm. ACM 9 (9), 671-678.
    • (1966) Comm. ACM , vol.9 , Issue.9 , pp. 671-678
    • Dahl, O.-J.1    Nygaard, K.2
  • 18
    • 84955617486 scopus 로고    scopus 로고
    • A calculus for concurrent objects
    • "CONCUR '96," Springer-Verlag, Berlin
    • DiBlasio, P., and Fisher, K. (1996), A calculus for concurrent objects, in "CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 655-670, Springer-Verlag, Berlin.
    • (1996) Lecture Notes in Computer Science , vol.1119 , pp. 655-670
    • Diblasio, P.1    Fisher, K.2
  • 19
    • 0029520856 scopus 로고
    • An interpretation of typed OOP in a language with state
    • Eifrig, J., Smith, S., Trifonov, V., and Zwarico, A. (1995), An interpretation of typed OOP in a language with state, J. Lisp Symbol. Comput. 8 (4), 357-397.
    • (1995) J. Lisp Symbol. Comput. , vol.8 , Issue.4 , pp. 357-397
    • Eifrig, J.1    Smith, S.2    Trifonov, V.3    Zwarico, A.4
  • 20
    • 0031683759 scopus 로고
    • On the relationship between classes, objects and data abstraction
    • Fisher, K., and Mitchell, J. C. (1995), On the relationship between classes, objects and data abstraction, Theory Practice Object-Oriented Systems 4 (1), 3-25.
    • (1995) Theory Practice Object-Oriented Systems , vol.4 , Issue.1 , pp. 3-25
    • Fisher, K.1    Mitchell, J.C.2
  • 28
    • 0015482118 scopus 로고
    • Proof of correctness of data representations
    • Hoare, C. A. R. (1972), Proof of correctness of data representations, Acta Informat. 1, 271-281.
    • (1972) Acta Informat. , vol.1 , pp. 271-281
    • Hoare, C.A.R.1
  • 31
    • 85026747787 scopus 로고
    • Inheritance in SMALLTALK-80: A denotational definition
    • Kamin, S. (1988), Inheritance in SMALLTALK-80: A denotational definition, in "ACM Symp. on Princ. of Program. Lang."
    • (1988) ACM Symp. on Princ. of Program. Lang
    • Kamin, S.1
  • 32
    • 0005099440 scopus 로고
    • Two semantic models of object-oriented languages
    • (C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA
    • Kamin, S. N., and Reddy, U. S. (1994), Two semantic models of object-oriented languages, in "Theoretical Aspects of Object Oriented Programming" (C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA.
    • (1994) Theoretical Aspects of Object Oriented Programming
    • Kamin, S.N.1    Reddy, U.S.2
  • 34
    • 84957566774 scopus 로고
    • Reasoning and refinement in object-oriented specification languages
    • "ECOOP '97" (O. L. Madsen, Ed.), Springer-Verlag, Berlin
    • Lano, K., and Haughton, H. (1992), Reasoning and refinement in object-oriented specification languages, in "ECOOP '97" (O. L. Madsen, Ed.), Lecture Notes in Computer Science, Vol. 615, pp. 78-97, Springer-Verlag, Berlin.
    • (1992) Lecture Notes in Computer Science , vol.615 , pp. 78-97
    • Lano, K.1    Haughton, H.2
  • 35
    • 0026186463 scopus 로고
    • Modular specification and verification of object-oriented programs
    • Leavens, G. T. (1991), Modular specification and verification of object-oriented programs, IEEE Software, 72-80.
    • (1991) IEEE Software , pp. 72-80
    • Leavens, G.T.1
  • 36
  • 38
    • 0024926911 scopus 로고
    • Axiomatizing operational equivalence in the presence of side effects
    • IEEE Comput. Soc. Press, Los Alamitos, CA
    • Mason, I. A., and Talcott, C. L. (1989), Axiomatizing operational equivalence in the presence of side effects, in "Proceedings, Fourth Annual Symposium on Logic in Computer Science," pp. 284-293, IEEE Comput. Soc. Press, Los Alamitos, CA.
    • (1989) Proceedings, Fourth Annual Symposium on Logic in Computer Science , pp. 284-293
    • Mason, I.A.1    Talcott, C.L.2
  • 39
    • 33846545518 scopus 로고
    • Towards fully abstract semantics for local variables
    • Assoc. Comput. Mach., New York; reprinted as Chap. 7 of [52]
    • Meyer, A. R., and Sieber, K. (1988), Towards fully abstract semantics for local variables, in "Fifteenth Annual ACM Symposium on Principles of Programming Lang.," pp. 191-203, Assoc. Comput. Mach., New York; reprinted as Chap. 7 of [52].
    • (1988) Fifteenth Annual ACM Symposium on Principles of Programming Lang. , pp. 191-203
    • Meyer, A.R.1    Sieber, K.2
  • 40
    • 84988613226 scopus 로고
    • An algebraic definition of simulation between programs
    • The British Computer Society, London
    • Milner, R. (1971), An algebraic definition of simulation between programs, in "Proc. Second Intern. Joint Conf. on Artificial Intelligence," pp. 481-489, The British Computer Society, London.
    • (1971) Proc. Second Intern. Joint Conf. on Artificial Intelligence , pp. 481-489
    • Milner, R.1
  • 46
    • 84971180013 scopus 로고
    • A model for syntactic control of interference
    • O'Hearn, P. W. (1993), A model for syntactic control of interference, Math. Struct. Comput. Sci. 3, 435-465.
    • (1993) Math. Struct. Comput. Sci. , vol.3 , pp. 435-465
    • O'Hearn, P.W.1
  • 47
    • 0006965311 scopus 로고
    • Syntactic control of interference revisited
    • "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Elsevier, Amsterdam; reprinted as Chap. 18 of [52]
    • O'Hearn, P. W., Power, A. J., Takeyama, M., and Tennent, R. D. (1995), Syntactic control of interference revisited, in "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam; reprinted as Chap. 18 of [52].
    • (1995) Electronic Notes in Theor. Comput. Sci. , vol.1
    • O'Hearn, P.W.1    Power, A.J.2    Takeyama, M.3    Tennent, R.D.4
  • 48
    • 15344342873 scopus 로고
    • Objects, interference and Yoneda embedding
    • "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Elsevier, Amsterdam.
    • O'Hearn, P. W., and Reddy, U. S. (1995), Objects, interference and Yoneda embedding, in "Mathematical Foundations of Programming Semantics: Eleventh Annual Conference" (S. Brookes, M. Main, A. Melton, and M. Mislove, Eds.), Electronic Notes in Theor. Comput. Sci., Vol. 1, Elsevier, Amsterdam.
    • (1995) Electronic Notes in Theor. Comput. Sci. , vol.1
    • O'Hearn, P.W.1    Reddy, U.S.2
  • 50
    • 0002982095 scopus 로고
    • Semantics of local variables
    • (M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds.) Cambridge Univ. Press, Cambridge, UK
    • O'Hearn, P. W., and Tennent, R. D. (1992), Semantics of local variables, in "Applications of Categories in Computer Science" (M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds.), pp. 217-238, Cambridge Univ. Press, Cambridge, UK.
    • (1992) Applications of Categories in Computer Science , pp. 217-238
    • O'Hearn, P.W.1    Tennent, R.D.2
  • 51
    • 84976718744 scopus 로고
    • Parametricity and local variables
    • reprinted as Chap. 16 of [52]
    • O'Hearn, P. W., and Tennent, R. D. (1995), Parametricity and local variables, J. Assoc. Comput. Mach. 42 (3), 658-709; reprinted as Chap. 16 of [52].
    • (1995) J. Assoc. Comput. Mach. , vol.42 , Issue.3 , pp. 658-709
    • O'Hearn, P.W.1    Tennent, R.D.2
  • 54
    • 84972274325 scopus 로고
    • Simple type-theoretic foundations for object-oriented programming
    • Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object-oriented programming, J. Funct. Programming 4 (2), 207-247.
    • (1994) J. Funct. Programming , vol.4 , Issue.2 , pp. 207-247
    • Pierce, B.C.1    Turner, D.N.2
  • 55
    • 85028748723 scopus 로고
    • A logic for parametric polymorphism
    • "Typed Lambda Calculi and Applications-TLCA '93," Springer-Verlag, Berlin
    • Plotkin, G., and Abadi, M. (1993), A logic for parametric polymorphism, in "Typed Lambda Calculi and Applications-TLCA '93," Lecture Notes in Computer Science, Vol. 664, pp. 361-375, Springer-Verlag, Berlin.
    • (1993) Lecture Notes in Computer Science , vol.664 , pp. 361-375
    • Plotkin, G.1    Abadi, M.2
  • 56
    • 84891611206 scopus 로고
    • Objects as closures: Abstract semantics of object-oriented languages
    • Assoc. Comput. Mach., New York
    • Reddy, U. S. (1988), Objects as closures: Abstract semantics of object-oriented languages, in "ACM Symposium on LISP and Functional Programming," pp. 289-297, Assoc. Comput. Mach., New York.
    • (1988) ACM Symposium on LISP and Functional Programming , pp. 289-297
    • Reddy, U.S.1
  • 58
    • 0030084648 scopus 로고    scopus 로고
    • Global state considered unnecessary: An introduction to object-based semantics
    • reprinted as Chap. 19 of [52]
    • Reddy, U.S. (1996), Global state considered unnecessary: An introduction to object-based semantics,J. Lisp Symbol. Comput. 9, 7-76; reprinted as Chap. 19 of [52].
    • (1996) J. Lisp Symbol. Comput. , vol.9 , pp. 7-76
    • Reddy, U.S.1
  • 59
    • 0018053595 scopus 로고
    • Syntactic control of interference
    • Assoc. Comput. Mach., New York; reprinted as Chap. 10 of [52]
    • Reynolds, J. C. (1978), Syntactic control of interference, in "ACM Symposium on Principles of Programming Languages," pp. 39-46, Assoc. Comput. Mach., New York; reprinted as Chap. 10 of [52].
    • (1978) ACM Symposium on Principles of Programming Languages , pp. 39-46
    • Reynolds, J.C.1
  • 60
    • 0019705872 scopus 로고
    • The essence of Algol
    • (J. W. de Bakker and J. C. van Vliet, Eds.) North-Holland, Amsterdam; reprinted as Chap. 3 of [52]
    • Reynolds, J. C. (1981), The essence of Algol, in "Algorithmic Languages" (J. W. de Bakker and J. C. van Vliet, Eds.), pp. 345-372, North-Holland, Amsterdam; reprinted as Chap. 3 of [52].
    • (1981) Algorithmic Languages , pp. 345-372
    • Reynolds, J.C.1
  • 61
    • 0012627019 scopus 로고
    • Idealized algol and its specification logic
    • (D. Neel, Ed.) Cambridge Univ. Press, Cambridge, UK, reprinted as Chap. 6 of [52]
    • Reynolds, J. C. (1982), Idealized Algol and its specification logic, in "Tools and Notions for Program Construction" (D. Neel, Ed.), pp. 121-161, Cambridge Univ. Press, Cambridge, UK, reprinted as Chap. 6 of [52].
    • (1982) Tools and Notions for Program Construction , pp. 121-161
    • Reynolds, J.C.1
  • 62
    • 0020919435 scopus 로고
    • Types, abstraction and parametric polymorphism
    • (R. E. A. Mason, Ed.) North-Holland, Amsterdam
    • Reynolds, J. C. (1983), Types, abstraction and parametric polymorphism, in "Information Processing '83" (R. E. A. Mason, Ed.), pp. 513-523, North-Holland, Amsterdam.
    • (1983) Information Processing '83 , pp. 513-523
    • Reynolds, J.C.1
  • 63
    • 0025444459 scopus 로고
    • Behavioral correctness of data representations
    • Schoett, O. (1990), Behavioral correctness of data representations, Sci. Comput. Program. 14, 43-57.
    • (1990) Sci. Comput. Program. , vol.14 , pp. 43-57
    • Schoett, O.1
  • 64
    • 0003072080 scopus 로고    scopus 로고
    • Categorical models for local names
    • Stark, I. (1996), Categorical models for local names, Lisp Symbol. Comput. 9 (1), 77-107.
    • (1996) Lisp Symbol. Comput. , vol.9 , Issue.1 , pp. 77-107
    • Stark, I.1
  • 65
    • 0012712963 scopus 로고    scopus 로고
    • Assignments for applicative languages
    • (P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 9 Birkhäuser, Boston
    • Swarup, V., Reddy, U. S., and Ireland, E. (1997), Assignments for applicative languages, in "Algol-like Languages" (P. W. O'Hearn and R. D. Tennent, Eds.), Chap. 9, pp. 235-272, Birkhäuser, Boston.
    • (1997) Algol-like Languages , pp. 235-272
    • Swarup, V.1    Reddy, U.S.2    Ireland, E.3
  • 66
    • 0025418448 scopus 로고
    • Semantical analysis of specification logic
    • reprinted as Chap. 13 of [52]
    • Tennent, R. D. (1990), Semantical analysis of specification logic, Inform and Comput. 85 (2), 135-162; reprinted as Chap. 13 of [52].
    • (1990) Inform and Comput. , vol.85 , Issue.2 , pp. 135-162
    • Tennent, R.D.1
  • 67
    • 0012720413 scopus 로고
    • Denotational semantics
    • (S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds.) Oxford Univ. Press, London
    • Tennent, R. D. (1994), Denotational semantics, in "Handbook of Logic in Computer Science" (S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, Eds.), Vol. 3, pp. 169-322, Oxford Univ. Press, London.
    • (1994) Handbook of Logic in Computer Science , vol.3 , pp. 169-322
    • Tennent, R.D.1
  • 68
    • 85022794780 scopus 로고
    • Event structures
    • "Petri Nets: Applications and Relationships to Other Models of Concurrency" (W. Brauer, W. Reisig, and G. Rozenberg, Eds.), Springer-Verlag, Berlin
    • Winskel, G. (1987), Event structures, in "Petri Nets: Applications and Relationships to Other Models of Concurrency" (W. Brauer, W. Reisig, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 255, pp. 325-392, Springer-Verlag, Berlin.
    • (1987) Lecture Notes in Computer Science , vol.255 , pp. 325-392
    • Winskel, G.1
  • 69
    • 85029715012 scopus 로고
    • An introduction to event structures
    • "Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency" (J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds.) Springer-Verlag, Berlin
    • Winskel, G. (1989), An introduction to event structures, in "Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency" (J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 354, pp. 364-397, Springer-Verlag, Berlin.
    • (1989) Lecture Notes in Computer Science , vol.354 , pp. 364-397
    • Winskel, G.1
  • 70
    • 85031240428 scopus 로고    scopus 로고
    • Ph.D. thesis (to appear), Department of Mathematics, University of Illinois at Urbana-Champaign
    • Dunphy, B. P. (2001), Uniform families, Ph.D. thesis (to appear), Department of Mathematics, University of Illinois at Urbana-Champaign.
    • (2001) Uniform Families
    • Dunphy, B.P.1


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