An on-line solution verification system for programming competitions

Author

Dorofeev, A.S.

Author_Institution

Dept. of Comput. Eng., Nat. Res. Irkutsk State Tech. Univ., Irkutsk, Russia

fYear

2014

fDate

26-30 May 2014

Firstpage

765

Lastpage

767

Abstract

An application of an on-line solution verification system for programming competitions is considered in the paper. The system has been developed at in National Research Irkutsk State Technical University and used within the competition events. It has client-server architecture and has been implemented on the base of a cluster using parallel schemes of verification algorithms. The system supports several programming languages, such as C++, Pascal, Java. The verification algorithm can also be used to check the results of laboratory works of "Programming" disciplines. The system allows teacher to automate routine activities of students\´ algorithms correctness verification.

Keywords

client-server systems; computer science education; program verification; programming; C++; Java; Pascal; client-server architecture; online solution verification system; parallel schemes; programming competitions; programming languages; student algorithms correctness verification; Educational institutions; Java; Laboratories; Programming profession; Workstations;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2014 37th International Convention on

Conference_Location

Opatija

Print_ISBN

978-953-233-081-6

Type

conf

DOI

10.1109/MIPRO.2014.6859668

Filename

6859668