Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
императивный
Связанные издания:
A Declarative Approach to Connection Machine 2 Programming
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
An Imperative Language with Read/Write Type Modes
Approximating the Algebraic Relational Semantics of Imperative Programs
Embedding Daclarative Subprograms into Imperative Constructs
Enhanced Control Flow Graphs in Montages
Improvements in Compile-Time Analysis for Ground Prolog
Integrated approach to analysis and verification of imperative programs
The "Procedures Early" Approach in CS 1: A Heresy
Алгебраическая модель императивной программы
Методы и средства статического анализа семантических свойств программ
О генерации условий корректности для императивных программ
Схема эффективной специализации императивных программ