Вы здесь

Главная

программа

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

25 Years of Model Checking: History, Achievements, Perspectives
3D Visual Tool Supporting Derivation of Parallel Programs for MIMD Systems
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
A.A.Lyapunov and A.P.Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
AAPT: Algorithm Animator and Programming Toolbox
A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs
Abduction over 3-valued Extended Logic Programs
Abductive Analysis of Modular Logic Programs
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
A Bottom-up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs
A Bounds Inference Method for Vector-Based Memoization
Abstract Complexity of Prolog Based on WAM
Abstract Computability of Non-deterministic Programs over Various Data Structures
Abstract Debugging of Logic Programs
Abstract Diagnosis of Functional Programs
Abstract Fairness and Semantics
Abstracting s-semantics Using a Model-Theoretic Approach
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Abstract Interpretation-Based Certification of Assembly Code
Abstract Interpretation Based Formal Methods and Future Challenges
Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis
Abstract Interpretation of Programs as Markov Decision Processes
Abstraction and Performance in the Design of Parallel Programs
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach
Abstraction of Expectation Functions Using Gaussian Distributions
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Abstract Specialization and Its Application to Program Parallelization
Abstract Views of Prolog Executions in Opium
A Calculus for Predicative Programming
A Calculus for Set-Based Program Development
A Calculus of Gamma programs
A Calculus of Gamma Programs
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
Accurate Binding-Time Analysis for Imperative Languages: Flow, Context, and Return Sensitivity
Accurate Static Estimators for Program Optimization
ACE: And/Or-parallel Copying-based Execution of Logic Program
A Characterization of Non-Floundering Logic Programs
Achievements and Prospects of Program Synthesis
A Clausal Form for the Completion of Logic Programs
A Combination of Clausal and Non Clausal Temporal Logic Programs
A Compact Petri Net Representation and Its Implications for Analysis
A Comparative Revisitation of Some Program Transformation Techniques
A Comparison of Two Model-Based Performance-Prediction Techniques for Message-Passing Parallel Programs
A Complete Method for the Synthesis of Linear Ranking Functions
A Complete Top-down Interpreter for First Order Programs
A Complexity Measure of Distributed Programs
A Compositional Approach for Fault-Tolerance Using Specification Transformation
A Compositional Semantics for Logic Programs and Deductive Databases
A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs
A Confluent Cakculus for Concurrent Constraint Programming with Guarded Choice