Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
статический
Связанные издания:
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract compilation of LambdaProlog
Abstract Interpretation-Based Certification of Assembly Code
Abstract Interpretation Based Formal Methods and Future Challenges
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Abstract Interpretation of Linear Logic Programming
Abstract Interpretation of Prolog Programs
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs
A Debugging Scheme for Declarative Equation Based Modeling Languages
Algorithmic Learning Theory: Proc./26th International Conference, ALT 2015, Banff,AB,Canada, October 2015
A Method to Adjust Conceptual Bias for Incremental Inductive Learning
A Model of Ada Programs for Static Deadlock Detection in Polynominal Time
Analysis of Normal Logic Programs
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness
An Efficient Abductive Reasoning System Based on Program Analysis
An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer
An Empirical Study of Static Call Graph Extractors
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
An Improved Disjunctive Strictness Analysis for Lazy Functional Languages
Applications of Extended Static Checking
Applying Jlint to Space Exploration Software
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
Applying Static Analysis to Software Architectures
A Systematic Construction of Abstract Domains
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Verification of Behavioural Properties of Prolog Programs
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Binding-Time Analysis for Both Static and Dynamic Expressions
Checking Safety Properties Using Compositional Reachability Analysis
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Compile-time Detection of Uncaught Exceptions in Standard ML Programs
Completeness and Consistency in Hierarchical State-Based Requirements
Computer Security from a Programming Language and Static Analysis Perspective
Computing Reachable States of Parallel Programs
Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System
Constraint-Based Type Inference and Parametric Polymorphism
Constructing Compact Models of Concurrent Java Programs
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Detecting Memory Errors via Static Pointer Analysis
Distinctness and Sharing Domains for Static Analysis of Java Programs
DrScheme: A Pedagogic Programming Environment for Scheme
Dynamic Attribute Grammars
Dynamic Typing in a Statically Typed Language
Eager Class Initialization for Java
Efficient Closure Analysis with Reachability
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
Efficient Execution of Programs with Static Semantics
Efficient Inference of Static Types for Java Bytecode
1
2
3
4
следующая ›
последняя »