Zobrazeno 1 - 4
of 4
pro vyhledávání: '"A. V. Promskii"'
Publikováno v:
Programming and Computer Software. 29:338-350
With the aim of the verification of programs in the C-light language l1r, its kernel C-kernel is separated, and an axiomatic semantics for it is suggested. A theorem on soundness of the axiomatic semantics of C-kernel with respect to its operational
Publikováno v:
Programming and Computer Software. 28:314-323
The C-light language is described, which is a representative subset of C. C-light permits deterministic expressions, limited use of switch and goto statements, and, instead of library functions for work with dynamic memory, includes Cpp statements ne
Publikováno v:
Programming & Computer Software; Nov2003, Vol. 29 Issue 6, p338-350, 13p
Publikováno v:
Programming & Computer Software; Nov2002, Vol. 28 Issue 6, p314-323, 10p