References
- M. Abadi, L. Cardelli and P. L. Curien, 'Formal Parametric Polymorphism,' Proceedings of the 20th ACM Symposium on Principles of Programming Languages, 1993 https://doi.org/10.1145/158511.158622
- K. Arnold and J. Gosling, The Java Programming language, Addison-Wesley, 1996
- The Bible Societies, The Holy Bible Authorized Version, The Bible Societies, 1972
- A. Bogida, J. Mylopoulos and H. Wong, 'Generalization/Specialization as a Basis for Software Specification,' On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. L. Brodie, J. Mylopoulos and J. W. Schmidt, Eds., Springer-Verlag, 1984
- P. Canning, W. Cook, W. Hill, W. Olthoff and J.C. Mitchell, 'F'-bounded Polymorphism for Object-Oriented Programming,' Proceedings of the 4th Functional Programming Languages and Computer Architecture, 1989 https://doi.org/10.1145/99370.99392
- L. Cardelli and P. Wegner, 'On Understanding Types, Data Abstraction, and Polymorphism,' ACM Computing Survey, Vol.17, No.4, Dec., 1985 https://doi.org/10.1145/6041.6042
- O. J Dahl and K. Nygaard, 'Simula - An Algol-based Simulation Language,' Comm. ACM, Vol.9. No.9, Sep., 1966 https://doi.org/10.1145/365813.365819
- S. Danforth and C. Tomlinson, 'Type Theories and Object-Oriented Programming,' ACM Computing Surveys, Vol.20, No.1, Mar., 1988 https://doi.org/10.1145/62058.62060
- http://www.encyber.com/
- T. Korson and J. D. McGregor, 'Understanding Object-Oriented: a Unifying Paradigm,' Comm. of ACM, Vol.33, No.9, Sep., 1990 https://doi.org/10.1145/83880.84459
- B. W. Kenighan, D. M. Ritchie, The C Programming Language, Prentice-Hall, 1988
- Q. Ma, 'Parametricity as Subtyping,' Proceedings of the 19th ACM Symposium on Principles of Programming Languages, 1992 https://doi.org/10.1145/143165.143225
- M. N. Mattos, 'Abstraction Concepts: the Basis for Knowledge Modeling,' Proc. of Conf. on Entity-Relationship Approach, 1988
- B. Mayer, Eiffel : The Language, Prentice-Hall, 1992
- O. Nierstrasz, 'A Survey of Object-Oriented Concepts,' in Object-Oriented Concepts, Databases, and Application, ACM Press, 1989 https://doi.org/10.1145/63320.66468
- R. W. Sebesta, Concepts of Programming Languages, The Benjamin/Cummings Publishing Company, 1992
- R. Sethi, 'Programming Languages,' Concepts and Constructs, Addison-Wesley, 1989
- A. Snyder, 'Encapsulation and Inheritance in Object-Oriented Programming language,' Proceedings of the First ACM Conference on Object-oriented programming Systems, Languages and Applications, 1986 https://doi.org/10.1145/28697.28702
- J. M. Smith and D. C. P. Smith, 'Database Abstraction : Aggregation and Generalization,' ACM TODS, Vol.2, No.2, June, 1977
- B. Stroustrup, The C++ programming Language, Addison Wesley, 1993
- A. Taivalaari, 'On the Notion of Inheritance,' ACM Computing Surveys, Vol.28, No.3, Sep., 1996 https://doi.org/10.1145/243439.243441
- J. D. Ullman and J. Widom, A First Course in Database Systems, prentice-Hall, 1997
- P. Wegner, 'Classification in Object-oriented Systems,' ACM SIGPLAN Notices, Vol.21, No.10, Oct., 1986 https://doi.org/10.1145/323648.323757
- 김성기, '절차적 추상화의 분류와 다형성', 한국정보처리학회논문지A, Vol.10A, No.1, Mar., 2003 https://doi.org/10.3745/KIPSTA.2003.10A.1.075
- 김성기, '프로그래밍 언어에서의 추상화', 한신대학교 정보과학연구소논문지, Vol.6, No.1, Dec., 2002