Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
семантика
Связанные издания:
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
A Basic-Net Algebra for Program Semantics and its Application to OCCAM
Abduction over 3-valued Extended Logic Programs
A Bottom-up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs
A Bottom-up Semantics for Constructive Negation
About Boundedness for Some DATALOG and DATALOGneg Programs
About primitive recursive algorithms
Abstract Computability of Non-deterministic Programs over Various Data Structures
Abstract Debugging of Logic Programs
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstract Fairness and Semantics
Abstracting Dependencies between Software Configuration Items
Abstracting s-semantics Using a Model-Theoretic Approach
Abstract Interpretation and Application to Logic Programs
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 Framework
Abstract Interpretation of Prolog Programs
Abstract Interpretation of Small-Step Semantics
Abstract Interpretattion of Probabilistic Semantics
Abstraction of Expectation Functions Using Gaussian Distributions
Abstract Machine Approach to Operational Semantics of Prolog
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
A Calculus for Hybrid Sampled Data Systems
A Calculus of Circular Proofs and Its Categorical Semantics
A Calculus of Untyped Aspect-Oriented Programs
A Calculus of Value Broadcasts
A -calculus with Explicit Substitutions: the Late Semantics
A Categorical Interpretation of Partial Function Logic and Hoare Logic
A Causal Semantics for Timed Default Concurrent Constraint Programming
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems
Acceptance Trees for Probabilistic Processes
A Characterization of Non-Floundering Logic Programs
Achieving Strong Consistency in a Distributed File System
A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
A Comparison of Petri Net Semantics under the Collective Token Philosophy
A Compilation and Optimization Model for Aspect-Oriented Programs
A Compiler for Natural Semantics
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Completeness Theorem for Nondeterministic Kleene Algebras
A Complete Set of Axioms for a Theoty of Communicating Sequential Processes
A compositional dataflow semantics for Petri nets
A Compositional Operational Semantics for JavaMT
A Compositional Petri Net Semantics for SDL
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Compositional Real-Time Semantics of STATEMATE Designs
A Compositional Semantics for Logic Programs and Deductive Databases
A Compositional Semantics for Normal Open Programs
A Compositional Semantics for Statecharts
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »