Вы здесь

Главная

операционный

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

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics
Computation Calculus - Bridging a Formalization Gap
Correctness of Java Card Method Lookup via Logical Relations
Discrete Optimization and Operations Research: Proc./9th International Conference, DOOR 2016, Vladivostok, Russia, September 2016
Distributed Implementation of CCS
Dynamic Concurrent Processor
Efficient Interpretation of State Charts
Efficient Lazy Narrowing using Demandedness Analysis
Enhancing Asynchronism of Data Exchanges in Parallel Programs
Expressiveness Results for Process Algebras
Final Semantics for a Higher Order Concurrent Language
Formal Specification and Prototyping of a Program Specializer
Foundations of Augmented Cognition: Proc./9th International Conference, AC 2915, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015
Foundations of Modular SOS
Free Agents
From algebra to operational semantics
From CML to Process Algebras
From Processor Timing Specifications to Static Instruction Scheduling
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing
Genetic Programming: Proc./20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 2017
Genetic Programming: Revised Selected Papers/17th European Conference, EuroGP 2014, Granada, Spain, April 2014
Goal Solving as Operational Semantics
Hybrid Metaheuristics: Proc./10th International Workshop, HM 2016, Plymouth, UK, June 2016
Inductive Definitions, Semantics and Abstract Interpretation
Inferring the equivalence of functional programs that mutate data
Integrating Structural and Operational Programming to Manage Distributed Systems
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./10th International Conference, CPAIOR 2013, Yorktown Heights,NY,USA, May 2013
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Integration of Z-Based Semantics of OO-Notations
Investigation on Computing High-Level Operative Environments
Linear Time Hierarchies for a Functional Language Machine Model
Linear Time Self-Interpretation of the Pure Lambda Calculus
Logical Specification of Operational Semantics
Mapping Statecharts to Verilog for Hardware/Software Co-specification
Metric Pomset Semantics for a Concurrent Language with Recursion
Mobile Processes with Local Clocks
Modelling and Simulation for Autonomous Systems: Revised Selected Papers/5th International Conference, MESAS 2018, Prague, Czech Republic, October 2018
Models for dynamically placed concurrent processes
Models for logic of proofs
New Semantic Tools for Logic Programming
Observing Located Concurrency
On High-Level Operating Environment
On the Adequacy of Per Models
On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming
On the Interaction of Lazy Evaluation and Backtracking
On the Operational Semantics of a Coordination Language
Operational and Algebraic Semantics of Concurrent Processes
Operational and Denotational Semantics for Prolog with Input-Output Predicates
Operational and Denotational Semantics of Rewrite Programs