Keywords: معانی عملیاتی; Operational semantics; Algorithmic skeletons; Cost models; Hylomorphisms;
مقالات ISI معانی عملیاتی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معانی عملیاتی; Trace-based JIT compilation; Optimization; Operational semantics;
Keywords: معانی عملیاتی; Internet of Things; Process calculus; Operational semantics; Behavioural semantics; Bisimulation;
Keywords: معانی عملیاتی; Business process modeling; BPMN collaboration; Operational semantics; Maude; Verification;
Keywords: معانی عملیاتی; Security policies; Access control; Operational semantics; Graph-based analysis;
Keywords: معانی عملیاتی; Fuzzy logic programming; Similarity relations; Declarative semantics; Fixpoint semantics; Operational semantics; Correctness;
Keywords: معانی عملیاتی; Fuzzy logic programming; Declarative semantics; Fixpoint semantics; Operational semantics; Weak SLD-resolution; Similarity relations;
Keywords: معانی عملیاتی; Distributed system; Erlang; Actor model; Operational semantics; Validation; Conformance; QuickCheck; Testing;
Keywords: معانی عملیاتی; iteration; loops; lexical binding; operational semantics; denotational semantics; higher-order language; lambda calculus; de Bruijn indices;
Keywords: معانی عملیاتی; Variability modeling; Operational semantics; Model checking;
Keywords: معانی عملیاتی; Operational semantics; Rewrite theories; Symbolic execution; K Framework; Maude
Keywords: معانی عملیاتی; Computational field; Core calculus; Operational semantics; Spatial computing; Type soundness
Keywords: معانی عملیاتی; Strictness analysis; Lambda calculus; Typing; Operational semantics; Automated theorem proving
Keywords: معانی عملیاتی; Primitive recursion; Complexity of Loop programs; Operational semantics;
Keywords: معانی عملیاتی; Type systems; Operational semantics; Linked Data;
Keywords: معانی عملیاتی; Algebra of programming; Hoare logic; Process calculi; Operational semantics; Event model
Keywords: معانی عملیاتی; Operational semantics; Bisimulation; Linked Data;
Keywords: معانی عملیاتی; Expectation transformer semantics; Operational semantics; Markov decision process; Expected rewards
Keywords: معانی عملیاتی; Operational semantics; Program transformation; Reduction strategies; Abstract machines; Full reduction
Keywords: معانی عملیاتی; Distributed systems; Compositional reasoning; Hoare Logic; Concurrent objects; Operational semantics; Communication history
Keywords: معانی عملیاتی; Linked Data; RDF; Schema; Type systems; Operational semantics
On the verification of SCOOP programs
Keywords: معانی عملیاتی; SCOOP; Operational semantics; Alias analysis; Deadlock detection; Rewriting logic;
Modeling ontology evolution via Pi-Calculus
Keywords: معانی عملیاتی; Ontology evolution; Pi-Calculus; Operational semantics
Constructive polychronous systems
Keywords: معانی عملیاتی; Synchronous programming; Operational semantics; Constructive systems; Fixpoint theory; Program verification
A metamodel of access control for distributed environments: Applications and properties
Keywords: معانی عملیاتی; Security policies; Distributed access control; Operational semantics; Rewriting
Formalizing SPARCv8 instruction set architecture in Coq
Keywords: معانی عملیاتی; SPARCv8; Coq; Verification; Operational semantics;
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Keywords: معانی عملیاتی; PTSC; Operational semantics; Algebraic semantics; Semantic linking; Head normal form; Animation
Using formal methods to develop WS-BPEL applications
Keywords: معانی عملیاتی; Service-oriented architectures; Web services; Formal methods; WS-BPEL; Operational semantics; Compilers
A trace-based model for multiparty contracts
Keywords: معانی عملیاتی; Contracts; Blame assignment; Contract specification language; Operational semantics; Run-time monitoring
Semantics and Analysis of Instruction List Programs
Keywords: معانی عملیاتی; Instruction List; Programmable Logic Controllers; operational semantics; abstract simulation; abstract interpretation;
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls
Keywords: معانی عملیاتی; Object orientation; asynchronous method calls; operational semantics; rewriting logic; nondeterministic rewrite strategies;
Toward the Concept of Backtracking Computation
Keywords: معانی عملیاتی; backtracking; Prolog; operational semantics;
Temporal and versioning model for schema evolution in object-oriented databases
Keywords: معانی عملیاتی; Temporal object-oriented database; Schema evolution; Schema versioning; Operational semantics;
Semantic models of a timed distributed dataspace architecture
Keywords: معانی عملیاتی; Dataspaces; Operational semantics; Denotational semantics; Compositional verification; Full abstraction;
Operational semantics for declarative multi-paradigm languages
Keywords: معانی عملیاتی; Functional logic programming; Operational semantics;
A theory of Stochastic systems. Part II: Process algebra
Keywords: معانی عملیاتی; Axiomatisation; Bisimulation; Operational semantics; Stochastic automaton; Stochastic process algebra;
Rewriting of imperative programs into logical equations
Keywords: معانی عملیاتی; Imperative program transformation; Operational semantics; Equational semantics; Compiling; Rewriting; Rewrite system; Program verification;