| |
Мандрыкин, М. У.
Высокоуровневая модель памяти промежуточного языка JESSIE с поддержкой произвольного приведения типов указателей [Текст] / М. У. Мандрыкин, А. В. Хорошилов
// Программирование. – 2015. – № 4. – С. 23-39.
В статье представлен промежуточный язык, предназначенный для использования в качестве целевого анализируемого языка при верификации промышленного кода на языке GNU C ( в частности, модулей ядра Linux ). |
