Development of the Computer Language Classification Knowledge Portal

  • Nikolay V. Shilov
  • Alexander A. Akinin
  • Alexey V. Zubkov
  • Renat I. Idrisov
Conference paper

DOI: 10.1007/978-3-642-29709-0_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7162)
Cite this paper as:
Shilov N.V., Akinin A.A., Zubkov A.V., Idrisov R.I. (2012) Development of the Computer Language Classification Knowledge Portal. In: Clarke E., Virbitskaite I., Voronkov A. (eds) Perspectives of Systems Informatics. PSI 2011. Lecture Notes in Computer Science, vol 7162. Springer, Berlin, Heidelberg

Abstract

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”.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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