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)



You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.