Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
операционный
Связанные издания:
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
Abstract Interpretation of Small-Step Semantics
Abstract Machine Approach to Operational Semantics of Prolog
A Calculus of Untyped Aspect-Oriented Programs
A Characterization of Non-Floundering Logic Programs
A Compositional Operational Semantics for JavaMT
A Congruence Theorem for Structured Operational Semantics with Predicates
A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises
A Constraint Logic Programming Scheme for Taxonomic Reasoning
A Core Calculus of Classes and Mixins
Adding Input-Output to PCF
A Debugging Model for Functional Logic Programs
Advances in Swarm Intelligence, Part I: Proc./7th International Conference, ICSI 2016, Bali, Indonesia, June 2016
A Framework for Defining Object-Calculi
A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality
A Generic and Executable Model for the Specification and Validation of Distributed Behaviors
A Hierarchical Method for Reasoning about Distributed Programming Languages
Algebraic and Algorithmic Aspects of Differential and Integral Operators: Selected and Invited Papers/5th International Meeting, AADIOS 2012 Held at the Applications of ACA 2012, Sofia, Bulgaria, June 2012
Algorithmic Aspects in Information and Management: Proc./11th International Conference, AAIM 2016, Bergamo, Italy, July 2016
A modal logic for message passing processes
Analysis of Facile Programs: A Case Study
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
Analyzing and Refining an Architectural Style
A Natural Deduction treatment of Operational Semantics
An Event-Based Structural Operational Semantics of Multi-Threaded Java
A New Solution to the Hidden Copy Problem
An Exercise in Compiler Verification
An Institution of Object Behaviour
A Non-Standard Semantics for Generating Reduced Transition Systems
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
An Operational Approach to Semantics of Real-Time Programming Languages
An Operational Computer Aided Software Environment: ILIADE
An Operational Semantics for a Parallel Functional Language with Continuations
An Operational Semantics for occam
An Operational Semantics for Scheme
An Operational Semantics for the Guarded Command Language
An Operational Semantics for Timed RAISE
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
An Operational Semantics of Starlog
A Petri nets semantics for data flow networks
A Refined View of the Box Algebra
A Theorethical Framework of Data Parallelism and Its Operational Semantics
CCS, Locations and Asynchronous Transition Systems
Combining Lazy Narrowing and Simplification
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
Committed-Choice Concurrent Logic Programming in Linear Logic
Communication as Unification in Process Algebras: Operational Semantics
Communication as Unification in Process Algebras: Operational Semantics
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
Comparative Semantics for Linear Arrays of Communicating Processes
1
2
3
4
следующая ›
последняя »