Preprints of IIS SB RAS, 2008

Preprint 150

I.V. Maryasov

На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка С-kernel

A mixed modified axiomatic semantics of C-kernel language is described. This language is a kernel of C-light language oriented to verification. This semantics is a basement of verification conditions generator of C-kernel programs. Several examples which illustrate the use of inference rules are considered.

Download the text in PDF (In Russian)

Preprint 149

Tatiana Andreyeva

Structure analysis and systematization of the programming contest problems

The programming contest problems give an actual and relevant profile for studying and automating the processes of cataloging for the objects composed in the natural language.

This paper represents analysis of the structure and the massiveness of the contest problems and tests, of the linearization of the problem topics, of the automation of preparation of the problem sets, and of the partial automation of preparation of the test sets; with the aim at the automation of the composing processes for the problem and test sets.

Download the text in PDF (In Russian)