Вы здесь

Главная

итерация

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

A New Iteration Mechanism for the C++ Programming Language
Fast Strictness Analysis Via Symbolic Fixpoint Iteration
Internal Iteration Externalized
Introducing the Iteration in sPBC
Iteration in discrete time stochastic Petri box calculus
Iterative Compilation
Iterative Constructs in the Visual Data Flow Language
Symbolic Verification Method for Definite Iteration over Data Structures
Symbolic verification method for definite iterations over tuples of altered data structures
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Verification of Definite Iteration over Hierarchical Data Structures
Верификация финитной итерации над наборами структур данных