Вы здесь

Главная

процедура

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

Interprocedural Modification Side Effect Analysis With Pointer Aliasing
Interprocedural Pointer Alias Analysis
Lazy Remote Procedure Call and Its Implementation in a Parallel Variant of C
Near-optimal Intraprocedural Branch Alignment
On the Expressive Power of Finitely Typed and Universally Polymorphic Recursive Procedures
On the Sequential Nature of Interprocedural Program-Analysis Problems
On the Translation of Procedures to Finite Machines
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
Predicate Transformers and Higher Order Logic
Recursion vs. Iteration in Prolog
Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling
Revised Report on the Algorithmic Language Scheme
Safely Extending Procedure Types to Allow Nested Procedures as Values
Scheduling Predicates
Semantics and reasoning with free procedures
Semantics-Preserving Procedure Extraction
Static Analysis: Proc./20th International Symposium, SAS 2013, Seattle,WA,USA, June 2013
Structural and Behavioral Abstractions of the Multiactivities Intended for their Concretizations by the Pre-existing Behaviors
Synthesis of a Family of Recursive Sorting Procedures
Techniques for Debugging Parallel Programs with Flowback Analysis
Temporal Preconditions of Recursive Procedures
Ten Years of Hoare s Logic:A Survey - Part 1
The aplication of quality assurance procedures to security evaluation
The Design of Whole-Program Analysis Tools
Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Towards a Clean Amalgamation of Logic Programs with External Procedures
Transients Change Processes in Process Centered Environments
Typed Query Languages for Databases Containing Queries
Unrestricted Procedure Calls in Hoare s Logic
What is a Procedure Call?
Базовый графический пакет в системе Виза
Введение в базы данных. Часть 7. Представления, триггеры и хранимые процедуры
Вопросы реализации рекурсивных процедур языка АЛГОЛ 60 на ЭВМ различных классов
Денотационная семантика процедур, функций и указателей
Использование программных моделей для диагностирования информационно-управляю их систем
Исследование в области сложности алгебро-логического анализа данных и синтеза распознаю их процедур
Исследования в теории алгебраических моделей программ с процедурами
Как строить оконные объекты или внутренности CWnd. Часть 2. Связь с дескриптором окна и обработка сооб ений
Канонические формы схем и их построение в специальных автоматных моделях рекурсивных программ
К вопросу о моделировании на ЭВМ разрешающих процедур в алгебре вещественных полиномов
Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов
Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов
Неравенства концентрации вероятностной меры в трансдуктивном обучении и РАС-Байесовском анализе
О новом методе системологического анализа, согласованном с процедурой объектно-ориентированного проектирования
О преобразовании операторных процедур в логические программы
Организация библиотеки стандартных процедур в системе СЕТЛ
Полезные процедуры и утилиты для Microsoft BASIC
Представление в метаязыке процедур работы со знаниями
Программное взаимодействие проектов Office 2000
Профессиональный поиск в Интернете: планирование поисковой процедуры