Вы здесь

Главная

рекурсивный

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

Recursive Object Types in a Logic of Object-Oriented Programs
Recursive Petri nets
Recursive Programs as Definitions in First Order Logic
Recursive Types and Pattern-Matching in Java
Reducing Page Thrashing in Recursive Query Processing
Rule-Generating Abduction for Recursive Prolog
Scalable Visual Hierarchy Exploration
Semantic Types: A Fresh Look at the Ideal Model for Types
Simple Semantic Analysis Problems for Functional Programs
Some Positive Results for Boundedness of Multiple Recursive Rules
Specification and Verification of a Formal System for Structurally Recursive Functions
SQL: a recursive SQL
Stack Management of Runtime Structures in Distributed Implementations
Storage Allocation Strategies for Recursive Attribute Evaluators
Subtyping Recursive Types
Subtyping with Union Types, Interaction Types and Recursive Types
Symbolic Test Case Generation for Primitive Recursive Functions
Synthesis of a Family of Recursive Sorting Procedures
Temporal Preconditions of Recursive Procedures
Ten Years of Hoare s Logic:A Survey - Part 1
The Function Processor: An Architecture for Efficient Execution of Recursive Functions
The Hierarchy of Terminating Recursive Programs over N
Theoretical Aspects of Recursive Petri Nets
Theory and Applications of Models of Computation: Proc./12th Annual Conference, TAMC 2015, Singapore, May 2015
Towards a Theory of Recursive Structures
Transitive Closure Algorithms Based on Graph Traversal
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95
Typed -calculus with Recursive Definitions
Type Reconstruction with Recursive Types and Atomic Subtyping
Unbounded Search and Recursive Graph Problems
Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite
Verification by Testing for Recursive Program Schemes
What is a Recursive Module?
Алгоритмические вопросы теории рекурсивных преобразований
Алгоритмические свойства рекурсивных преобразователей информации
Алгоритмы и рекурсивные функции
Алгоритмы и структуры данных
Анализ свойств рекурсивных схем и проблема древесной эквивалентности
Вопросы реализации рекурсивных процедур языка АЛГОЛ 60 на ЭВМ различных классов
Входной язык спецификации задач в человеко-машинной решаю ей системе
Исследование базисов и достаточных классов рекурсивных функций
Исследование сложности вычисления рекурсивных программ на основе специфических критериев
Исследование сложности вычисления рекурсивных программ на основе специфических критериев
Канонические формы схем и их построение в специальных автоматных моделях рекурсивных программ
Комбинаторные пространства и рекурсивность в них
Магистральная обработка одного класса рекурсивных запросов в дедуктивных базах данных
Машины Тьюринга и рекурсивные функции
Методы вычисления и оптимизации рекурсивных запросов в дедуктивных базах данных (V Всесоюзн. конф. "Системы баз данных и знаний")
Методы повышения производительности Java-приложений с ГИП в условиях жестких рекурсных ограничений
Методы рекурсивного программирования