Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2003.10A.1.075

Taxonomy of Procedural Abstraction and Polymorphism  

Kim, Sung-Ki (한신대학교 컴퓨터학과)
Publication Information
The KIPS Transactions:PartA / v.10A, no.1, 2003 , pp. 75-81 More about this Journal
Abstract
Many abstraction techniques are introduced in programming languages in order to facilitate the development, maintenance and extension of softwares. But several concepts and terms related to abstraction have not been uniformly defined and have been explained differently. Expecially in object-oriented paradigm strongly based on abstraction common consensus was not derived. In this paper, we analyse procedural abstraction, propose the taxonomy of procedural abstraction and show that procedural abstraction contains the concept of abstraction on abstraction in addition to the transformation of procedures into abstraction. We also explain polymorphism in the view of abstraction. These analysis and consideration will make it possible to understand procedural abstraction more intensively.
Keywords
Procedural Abstraction; Subprogram; Polymorphism;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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
2 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   DOI
3 L. Cardelli and P. Wegner, 'On Understanding Types, Data Abstraction, and Polymorphism', ACM Computing Survey, Vol.17, No.4, Dec., 1985   DOI   ScienceOn
4 O. J. Dahl and K. Nygaard, 'Simula-An Algol-based Simulation Language', Comm. ACM, Vol.9, No.9, Sep., 1966   DOI
5 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   DOI
6 J. M. Smith and D. C. P. Smith, 'Database Abstraction : Aggregation and Generalization,' ACM TODS, Vol.2, No.2, June, 1977
7 B. Stroustrup, The C++ programming Language, Addison Welsley, 1993
8 A. Taivalaari, 'On the Notion of Inheritance,' ACM Computing Surveys, Vol.28, No.3, Sep., 1996   DOI   ScienceOn
9 M. Abadi, L. Cardelli and P. L. Curien, 'Formal Parametric Polymorphism', Proceedings of the 20th ACM Symposium on Principles of Programming Languages, 1993   DOI
10 K. Arnold and J. Gosling, The Java Programming language, Addison-Wesley, 1996
11 The Bible Societies, The Holy Bible Authorized Version, The Bible Societies, 1972
12 B. W. Kenighan, D. M. Ritchie, The C Programming Language, Prentice-Hall, 1988
13 S. Danforth and C. Tomlinson, 'Type Theories and Object-Oriented Programming', ACM Computing Surveys, Vol.20, No.1, Mar., 1988   DOI   ScienceOn
14 http://www.encyber.com
15 T. Korson and J. D. McGregor, 'Understanding Object-Oriented : a Unifying Paradigm', Comm. of ACM, Vol.33, No.9, Sep., 1990   DOI
16 Q. Ma, 'Parametricity as Subtyping,' Proceedings of the 19th ACM Symposium on Principles of Programming Languages, 1992   DOI
17 M. N. Mattos, 'Abstraction Concepts : the Basis for Knowledge Modeling', Proc. of Conf. on Entity-Relationship Approach, 1988
18 B. Mayer, Eiffel : The Language, Prentice-Hall, 1992
19 O. Nierstrasz, 'A Survey of Object-Oriented Concepts,' in Object-Oriented Concepts, Databases, and Application, ACM Press, 1989
20 R. W. Sebesta, Concepts of Programming Languages, The Benjamin/Cummings Publishing Company, 1992
21 R. Sethi, 'Programming Languages,' Concepts and Constructs, Addison-Wesley, 1989
22 J. D. Ullman and J. Widom, A First Course in Database Systems, prentice-Hall, 1997
23 P. Wegner, 'Classification in Object-oriented Systems,' ACM SIGPLAN Notices, Vol.21, No.10, Oct., 1986   DOI