Keywords: منطق جداسازی; Separation logic; bunched logic; substructural logic; program logic; categorical logic; algebraic logic; representation; Stone duality; complex systems; hyperdoctrine; relational semantics; topological semantics; completeness;
مقالات ISI منطق جداسازی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق جداسازی; Formal verification; Separation logic; Assembly; Coq; Exceptions; Step-indexed models; Interactive theorem proving;
Keywords: منطق جداسازی; Completeness; Canonicity; Coalgebraic logic; Substructural logic; Resource modelling; Separation logic;
Keywords: منطق جداسازی; Separation logic; Hoare's logic; Completeness; Recursive procedures;
Keywords: منطق جداسازی; Bunched logic; Separation logic; Modal logic; Resource semantics; Tableaux; Concurrency;
Keywords: منطق جداسازی; Program verification; Message passing; Linear channels; Separation logic
Keywords: منطق جداسازی; Bisimulation; Formal concept analysis; Pareto front; Rectangles; Separation logic; Software product lines
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
Keywords: منطق جداسازی; Compositionality; Concurrency; Separation Logic; Kleene Algebra
Extended transitive separation logic
Keywords: منطق جداسازی; Separation logic; Reachability; Sharing; Strong separation; Verification
Specification and verification of GPGPU programs
Keywords: منطق جداسازی; Formal verification; Separation logic; Permissions; GPU programming
Specification patterns for reasoning about recursion through the store
Keywords: منطق جداسازی; Hoare logic; Higher-order store; Separation logic
TSAT++: an Open Platform for Satisfiability Modulo Theories
Keywords: منطق جداسازی; Boolean Satisfiability; Ground Decision Procedures; Separation Logic; Hardware Verification; Formal Methods;
Elimination of spatial connectives in static spatial logics
Keywords: منطق جداسازی; Spatial logics; Separation logic; Mobile ambients; Minimality;