Вы здесь

Главная

переменная

Связанные издания:

Are Booleans safe?
Automatic Detection of Uninitialized Variables
Automatic Discovery of Linear Restraints Among Variables of a Program
Capabilities for Sharing: A Generalization of Uniqueness and Read-Only
Determination Automatique de Relations Lineaires Verifiees par les Variables d un Programme (These)
Efficient Variable Allocation to Dual Memory Banks of DSPs
Full Abstraction for the Second Order Subset of an ALGOL-like Language
Global Variables in Logic Programming
Higher-order Aspacts of Logic Programming
Improving Offset Assignment through Simultaneous Variable Coalescing
Introducing Virtual Instance Variables in Classes to Provide Sufficent Support for Encapsulation
Localizing Program Errors for Cimple Debugging
On Extra Variables in (Equational) Logic Programming
Semantic Analysis of Interval Congruences
Simple Extensions of 1-Writer Atomic Variable Constructions to Multiwriter Ones
The Self-Similarity and Computer Programs
Transparent And-Parallelism in the Presence of Shared Free Variables
Type Systems for Useless-Variable Elimination
Use-Once Variables and Linear Objects - Storage Management, Reflection and Multi-Threading
Балансно-характеристические схемы с разделенными консервативными и потоковыми переменными
Балансно-характеристическме схемы с разнесенными консервативными и потоковыми переменными на множестве кусочно-постоянных начальных данных
Виды, константы и переменные во внутреннем языке системы БЕТА
Диаграммная техника в теории гипергеометрических рядов от многих переменных
Монады для формализации процедуры сопоставления с образцом
Нахождение заместителей объектных переменных
"Неизвестная" в компьютерной алгебре
Оптимальная задача в управляемых системах с переменной структурой и с запаздываниями
О семантике переменных в паскалеобразных языках
Основы теории аналитических функций комплексного переменного
Реализация склеивания переменных в предикатной программе
Склеивание переменных в предикатной программе