Вы здесь

Главная

абстрактный

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

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
About Synchronous Programming and Abstract Interpretation
Abstract Algorithmic Debugging
Abstract Analysis with Aspect
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract Compilation for Sharing Analysis
Abstract compilation of LambdaProlog
Abstract Complexity of Prolog Based on WAM
Abstract Data Types for the Logical Modeling of Comlex Data
Abstract Data Types in Computer Algebra
Abstract debugging of higher-order imperative languages
Abstract Debugging of Logic Programs
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstract Fairness and 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
Abstraction and Testing
Abstraction of Business Rules in Object-Oriented Design
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
Abstraction Techniques for Validation Coverage Analysis and Test Generation
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Abstract Machines, Control, and Sequents
Abstract Rewriting
Abstract Specification in Object-Z and CSP
Abstract specification of structures and methods in symbolic mathematical computation
Abstract State Machines 2004 - Advances in Theory and Practice: Proc./11th Intern. Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 2004
Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008
Abstract Types and the Dot Notation