Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
интерпретация
Связанные издания:
3D Object Recognition and Visualization on the Web
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
About Synchronous Programming and Abstract Interpretation
A Broader Interpertation of Logic in Logic Programming
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract Compilation for Sharing Analysis
Abstract debugging of higher-order imperative languages
Abstract Debugging of Logic Programs
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstracting Dependencies between Software Configuration Items
Abstract Interpretation and Application to Logic Programs
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract Interpretation and Low-Level Code Optimization
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstract Interpretation anf Its Applications
Abstract Interpretation-Based Certification of Assembly Code
Abstract Interpretation Basedd Semantics of Sequent Calculy
Abstract Interpretation Based Formal Methods and Future Challenges
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Abstract Interpretation by Dynamic Partitioning
Abstract Interpretation for Concurrent Logic Languages
Abstract Interpretation Framework
Abstract Interpretation of Constraints on Order-Sorted Domains
Abstract Interpretation of Linear Logic Programming
Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis
Abstract Interpretation of Programs as Markov Decision Processes
Abstract Interpretation of Prolog Programs
Abstract Interpretation of Proofs: Classical Propositional Calculus
Abstract Interpretation of Small-Step Semantics
Abstract Interpretation of the -Calculus
Abstract Interpretation Using TDGs
Abstract Interpretattion of Probabilistic Semantics
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Abstrat Interpretation and Verification of Reactive Systems
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs
Adornments in Database Programs
Advances in Brain Inspired Cognitive Systems: Proc./5th International Conference, BICS 2012, Shenyang, China, July 2012
A Framework for Combining Analysis and Verification
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
A General Framework for Variable Aliasing Towards Optimal Operators for Sharing Properties
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Mode Analysis of Logic Programs by Abstract Interpretation
An Abstract Interpretation Algorithm for Residuating Logic Programs
An Abstract Interpretation-Based Framework for Software Watermarking
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut
An Abstract Interpretation Scheme for Groundness, Freeness, and Sharing Analysis of Logic Programs
An Algebraic Framework for Abstract Interpretation of Definite Programs
Analyses of Inconsistency for Incremental Equational Logic Programming
Analysis of Downward Closed Properties of Logic Programs
1
2
3
4
5
6
следующая ›
последняя »