Development of the Computer Language Classification Knowledge Portal

  • Nikolay V. Shilov
  • Alexander A. Akinin
  • Alexey V. Zubkov
  • Renat I. Idrisov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7162)


During the semicentennial history of Computer Science and Information Technologies, several thousands of computer languages have been created. The computer language universe includes languages for different purposes: programming languages, specification languages, modeling languages, languages for knowledge representation, etc. In each of these branches of computer languages it is possible to track several approaches (imperative, declarative, object-oriented, etc.), disciplines of processing (sequential, non-deterministic, parallel, distributed, etc.), and formalized models, such as Turing machines or logic inference machines. Computer language paradigms are the basis for classification of the computer languages. They are based on joint attributes which allow us to differentiate branches in the computer language universe. Currently the number of essentially different paradigms is close to several dozens. The study and precise specification of computer language paradigms (including new ones) are called to improve the choice of appropriate computer languages for new Software projects and information technologies. This position paper presents an approach to computer languages paradigmatization (i. e. paradigm specification) and classification that is based on a unified approach to formal semantics, and an open wiki-like ontology for pragmatics, formal syntax and informal “style”.


Model Checker Description Logic Computer Language Formal Concept Analysis Functional Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akinin, A.A., Shilov, N.V., Zubkov, A.V.: Towards Ontology for Classification of Computer Languages. In: Proceedings of the Knowledge and Ontology *ELSEWHERE* Workshop, pp. 1–12. University High School of Economics, Moscow (2009), (visited January 20, 2011)Google Scholar
  2. 2.
    Anureev, I.S., Bodin, E.V., Gorodnyay, L.V., Marchuk, A.G., Murzin, F.A., Shilov, N.V.: On the Problem of Computer Language Classification. Joint NCC&IIS Bulletin, Series Computer Science, vol. 27, pp. 1–20 (2008)Google Scholar
  3. 3.
    Andreeva, T.A., Anureev, I.S., Bodin, E.V., Gorodnyay, L.V., Marchuk, A.G., Murzin, F.A., Shilov, N.V.: Obrazovatelnoe znachenie klassifikacii komp’uternyh yazykov (Educational value of Computer Languages classification). Market DS publisher, Prikladnaya Informatika (Applied Informatics) 4(6-24), 18–28 (2009)Google Scholar
  4. 4.
    Corazzon, R.: Ontology. A Resource Guide for Philosophers, (visited January 20, 2011)
  5. 5.
    Floyd, R.W.: The paradigms of Programming. Communications of ACM 22, 455–460 (1979)CrossRefGoogle Scholar
  6. 6.
    Ganter, B., Wille, R.: Formal Concept Analysis. Mathematical Foundations. Springer, Heidelberg (1996)zbMATHGoogle Scholar
  7. 7.
    Kuhn, T.S.: The structure of Scientific Revolutions. Univ. of Chicago Press (1970); 3rd edn. (1996)Google Scholar
  8. 8.
    Nepomniaschy, V.A., Shilov, N.V., Bodin, E.V., Kozura, V.E.: Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 69–88. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Nepomniaschy, V.A., Anureev, I.S., Dubranovskii, I.V., Promsky, A.V.: Towards verification of C# programs: A three-level approach. Programming and Computer Software 32(4), 190–202 (2006)zbMATHCrossRefGoogle Scholar
  10. 10.
    van Roy, P.: Programming Paradigms for Dummies: What Every Programmer Should Know. In: Assayag, G., Gerzso, A. (eds.) New Computational Paradigms for Computer Music, IRCAM/Delatour, France, pp. 9–38 (2009)Google Scholar
  11. 11.
    Shilov, N.V.: Realization Problem for Formal Concept Analysis. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008). CEUR Workshop Proceedings, vol. 353 (2008)Google Scholar
  12. 12.
    Turner, K.J. (ed.): Using Formal Description Techniques: An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons (1993)Google Scholar
  13. 13.
    Kinnersley, W.: The Language List, (visited January 20, 2011)

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Nikolay V. Shilov
    • 1
  • Alexander A. Akinin
    • 2
  • Alexey V. Zubkov
    • 2
  • Renat I. Idrisov
    • 2
  1. 1.A.P. Ershov Institute of Informatics SystemsNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations