Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
си
Связанные издания:
A C-to-Forth Compiler
An Empirical Evaluation of Three Defect-Detection Techniques
ASCII-формат баз данных в Си-программах
Context-Insensitive Alias Analysis Reconsidered
Courage in Profiles
Distributed Data Access in AC
Efficient Context-Sensitive Pointer Analysis for C Programs
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
On the Parallelism of Data
Software Caching and Computation Migration in Olden
The Data-parallel C Language NCX and its Implementation Strategies
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Летопись языков. Си
Подход к реализации аспектно-ориентированного программирования для языка Си
Практическая обработка изображений на языке Си
Предварительное сооб ение о языке программирования mpC
Применение статического символьного выполнения для поиска ошибок доступа к буферу
Профессиональное программирование на языке СИ. Системное программирование
Расширение ANSI C для векторных и суперскалярных компьютеров
Средства поддержки параллельности в языках программирования
Тестирование изменений в программной системе на основе покрытия исходного кода
Тестирование изменений в программной системе на основе покрытия исходного кода
Язык СИ. Введение для программистов
Язык "СИ" для профессионалов
Язык СИ для профессионалов