Keywords: انواع وابسته; Bidirectional programming; Dependent types; Formal verification;
مقالات ISI انواع وابسته (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: انواع وابسته; Type theory; Categorical semantics; Dependent types; Monoidal categories; Locally cartesian closed categories; Grothendieck fibrations; Coherence
Keywords: انواع وابسته; dependent types; HOAS; logical frameworks; metalogical reasoning; variable binding
Embedding the refinement calculus in Coq
Keywords: انواع وابسته; Refinement calculus; Coq; Predicate transformers; Free monad; Dependent types;
Týr: A Dependent Type System for Spatial Memory Safety in LLVM
Keywords: انواع وابسته; Spatial memory; dependent types; type safety; LLVM;
Formal foundations for situation awareness based on dependent type theory
Keywords: انواع وابسته; Situation awareness; Ontologies; Dependent types; Aggregation; Subsumption; Type inhabitation
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
Keywords: انواع وابسته; MSR; protocol specification; open calculus of constructions; dependent types; Maude;
Coalgebraic minimization of HD-automata for the Ï-calculus using polymorphic types
Keywords: انواع وابسته; Name passing calculi; Finite state verification; Partition refinement algorithm; Bisimulation checking; Dependent types; Co-algebras;