Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
абстрактный
Связанные издания:
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking
Incremental Analysis of Logic Programs
Incremental Global Compilation of Prolog with the Vienna Abstract Machine
Infinite State Model Checking by Abstract Interpretation and Program Specialisation
Institutions for Very Abstract Specifcations
Integrating Design Patterns and Subject-Oriented Programming within the ADV Framework
Integrating Logic Programming and Equational Specification of Abstract Data Types
Integrating Modular, Object Oriented Programming, and Application Generator Technologies in Large Real Time and Distributed Developments
Integration of Z-Based Semantics of OO-Notations
Interface Language for Supporting Programming Styles
Interpretation abstraite au moyen des grammaires attribuees
Interpretation abstraite pour ameliorer la representation des environnements dans les langages fonctionnels
Intuitionistic Implication in Abstract Interpretation
Labelled Transition Logic: An Outline
Langage de Representation des Connaissances dans un Systeme de Vision Active
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Levels of Abstraction in CS2
Linking Algebraic High Level Nets and Dynamic Abstract Data Types
Live Data Structures in Logic Programs
Live-Structure Dataflow Analysis for Prolog
Logic Program Specialisation: How to Be More Specific
Logic Program Testing Based on Abstract Interpretation
LSign Reordered
Lukko Extension to the Level of Pascal
Measuring the Precision of Abstract Interpretations
Meta-circular Abstract Interpretation in Prolog
Minimal Function Graphs are not Instrumented
Model-Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations, and Experimental Results
Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015
Modelling Prolog Control
ModPascal Report
Modularity in the Presence of Subclassing
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications
Multivariant Non-failure Analysis via Standard Abstract Interpretation
Narratives and Temporal Databases: An Interdisciplinary Perspective
Narrowing Approximations as an Optimization for Equational Logic Programs
Native Code Compilation in SICStus Prolog
Natural-Semantics-Based Abstract Interpretation (Preliminary Version)
Net Models of Abstract Data Types
Nobrainer: Инструмент преобразования C/C++ кода на основе примеров
Numerical Power Analysis
Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017
OBSCURE a specification language for abstract data types
On Ada Packages, Types and Task Types
On Generic Formal Package Parameters in Ada9X
On Quasi-Reducibility and Proofs by Induction in Abstract Data Types
On Specialization Hierarchies of Mutable Objects
On the Design of Generic Abstract Interpretation Frameworks
On the Desirable Link Between Theory and Practice in Abstract Interpretation
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
« первая
‹ предыдущая
…
2
3
4
5
6
7
8
9
10
следующая ›
последняя »