Keywords: معانی انتزاعی; Program equivalence; Shared-variable concurrency; Logical relation; Denotational semantics;
مقالات ISI معانی انتزاعی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معانی انتزاعی; Massive data storage; Modeling language; Denotational semantics; Fixed-point theorem;
Keywords: معانی انتزاعی; 03B70; 03F52; 68Q55; 37A40; Linear logic; Dynamic semantics; Denotational semantics; Interaction graphs; Geometry of interaction; Measurable dynamics;
Keywords: معانی انتزاعی; 03B70; 18C20; 18C50; 81P68; Higher-order computation; Quantum computation; Programming language; Geometry of interaction; Denotational semantics; Categorical semantics;
Keywords: معانی انتزاعی; iteration; loops; lexical binding; operational semantics; denotational semantics; higher-order language; lambda calculus; de Bruijn indices;
Keywords: معانی انتزاعی; Software testing; Test case generation; Test oracle; Denotational semantics;
Keywords: معانی انتزاعی; Implicit computational complexity; Light linear logics; Denotational semantics; Categorical semantics;
Keywords: معانی انتزاعی; 03; 68; 53; 18; Linear logic; Denotational semantics;
Keywords: معانی انتزاعی; Linear logic; Denotational semantics; Computational complexity; Strong normalization
Keywords: معانی انتزاعی; primary, 03B70; secondary, 03F52, 03B47, 47N99Linear logic; Geometry of interaction; Denotational semantics; Interaction graphs; Dynamic semantics
Reducing Complex CSP Models to Traces via Priority
Keywords: معانی انتزاعی; CSP; denotational semantics; priority;
Approximate Relational Hoare Logic for Continuous Random Samplings
Keywords: معانی انتزاعی; Differential privacy; Denotational semantics; Giry monad; Graded monad; Relational lifting;
Noninterference in a predicative polymorphic calculus for access control
Keywords: معانی انتزاعی; Access control; Denotational semantics; Noninterference; Predicative polymorphism
Semantic characterization of programmable logic controller programs
Keywords: معانی انتزاعی; PLC programs; Extended λλ-calculus; Program modeling; Denotational semantics
Mechanised wire-wise verification of Handel-C synthesis
Keywords: معانی انتزاعی; Handel-C synthesis; Denotational semantics; Correctness; Mechanical verification; HOL
The relational model is injective for multiplicative exponential linear logic (without weakenings)
Keywords: معانی انتزاعی; 03F05; 03F07; 03F52; Linear logic; Proof-nets; Denotational semantics; Injective model;
A semantic measure of the execution time in linear logic
Keywords: معانی انتزاعی; Linear logic; Denotational semantics; Computational complexity;
Dependent vector types for data structuring in multirate Faust
Keywords: معانی انتزاعی; Domain specific languages; Synchronous signal processing; Multirate computing; Dependent type systems; Static semantics; Denotational semantics
Provenance-based reproducibility in the Semantic Web
Keywords: معانی انتزاعی; Provenance; Reproducibility; Denotational semantics; Primitive environment
Converting an imperative program to a declarative one
Keywords: معانی انتزاعی; Imperative language; Declarative language; Denotational semantics; Transaltion
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Keywords: معانی انتزاعی; Denotational semantics; Event and State viewpoints; Viewpoint integration;
A formal framework for database sampling
Keywords: معانی انتزاعی; Data cleaning; Database sampling; Integrity constraints; Legacy systems; Denotational semantics; Undecidability;
Integrating Time and Resource into Circus
Keywords: معانی انتزاعی; Timed Circus; UTP; resource reasoning; denotational semantics;
A Denotational Approach to the Static Analysis of Cryptographic Processes
Keywords: معانی انتزاعی; Static Analysis; Cryptographic Protocols; Denotational Semantics;
From Geometry of Interaction to Denotational Semantics
Keywords: معانی انتزاعی; Geometry of Interaction; Denotational semantics; Linear logic; *-autonomous categories; Unique decomposition categories;
Dealing Denotationally With Stream-based Communication
Keywords: معانی انتزاعی; Denotational semantics; continuation semantics; laziness; parallel programming; functional programming; Eden;
Provably Correct Code Generation: A Case Study
Keywords: معانی انتزاعی; Horn logic; Denotational Semantics; Compilation;
Semantic models of a timed distributed dataspace architecture
Keywords: معانی انتزاعی; Dataspaces; Operational semantics; Denotational semantics; Compositional verification; Full abstraction;
Polarized and focalized linear and classical proofs
Keywords: معانی انتزاعی; 03F05; 03F07; 03F52; Classical logic; Linear logic; Cut-elimination; Proof-nets; Denotational semantics; Polarization; Focalization; Reversion;