Вы здесь

Главная

абстрактный

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

Abstrat Interpretation and Verification of Reactive Systems
A Compiler Approach to Scalable Concurrent-Program Design
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs
A Complete Algebraic Characterization of Behavioral Subtyping
Adaptable Concurrency Control for Atomic Data Types
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
A Database Interface for Complex Objects
Adding Genericity to Object-Oriented ASMS
Adding Performance Information to ADT Interfaces
Adornments in Database Programs
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion on His 60th Birthday
A Framework for Combining Analysis and Verification
A Fully Abstract Semantics for Causality in the -calculus
A Fully Abstract Semantics for Termination in Petri Nets
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
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 Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Glimpse of Paradise
A Hierarchy of Institutions Separated by Properties of Parameterized Abstract Data Types
A Lattice of Abstract Graphs
Algebraic Specification
A Logic for Abstract Data Types as Existential Types
A Mode Analysis of Logic Programs by Abstract Interpretation
An Abstract Data Type Development of Graded Rings
An Abstract Data Type for Freezable Lists and DAGs
An abstract data type for name analysis
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 Abstract Machine for Oz
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
An Abstract Machine to Implement Efficiently OR-AND Parallel Prolog
An Abstract Model of Rollback Recovery Control in Distributed Systems
An Algebraic Framework for Abstract Interpretation of Definite Programs
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency
Analyses of Inconsistency for Incremental Equational Logic Programming
Analysis of Downward Closed Properties of Logic Programs
Analysis of Normal Logic Programs
Analysis of the Equality Relations for the Program Terms
Analyzing Stores and References in a Parallel Symbolic Language
An approach to parameterized continuous data types
An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems
An Attempt to Find Polymorphic Types by Abstract Interpretation
A New Look at Pattern Matching in Abstract Data Types
A New Scheme for Unification in WAM
A New Solution to the Hidden Copy Problem