New Developments of the Computer Language Classification Knowledge Portal
Aleksandr Akinin, Alexey Zubkov, Nikolay Germanovich Shilov · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2012
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, specification, modeling, 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, 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.We have presented our computer-aided approach to the problem of computer language classification and paradigm identification in a recent paper Development of the Computer Language Classification Portal (Proc. of Ershov Informatics Conference PSI-2011, Lect.Not. in Comp.Sci., v.7162).In the present paper we discuss new developments of our project: (1) the pre-alpha version of the Portal is online, and (2) the reasoner is a model checking engine for a paraconsistent (inconsistencytolerant) description logic.