Keywords: نوع سیستم ها; Type systems; Formal specification; Declarative languages; First-order theorem proving; Domain-specific languages;
مقالات ISI نوع سیستم ها (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: نوع سیستم ها; Hybrid systems; Synchronous programming languages; Type systems;
Keywords: نوع سیستم ها; Deadlocks; Process calculi; Type systems; Behavioural types; Lam programs; Fixpoints;
Keywords: نوع سیستم ها; Information flow control; Content-dependent policies; Type systems; Hoare logic; Instrumented semantics; Non-interference;
Keywords: نوع سیستم ها; Heuristic search; Solution cost prediction; Stratified sampling; Type systems; Learning heuristic functions;
Keywords: نوع سیستم ها; Component-based software engineering; High performance computing; Component-based high performance computing; Parallel programming; Type systems;
Keywords: نوع سیستم ها; Units-of-measure; Dimension typing; Type systems; Verification; Code base evolution; Fortran; Language design;
Keywords: نوع سیستم ها; Type systems; Abstraction; Two-sorted reasoning; Quantum interaction; Situation theory
Keywords: نوع سیستم ها; Synchronous languages; Functional languages; Semantics; Type systems
Keywords: نوع سیستم ها; Cooperability; Concurrency; Type systems
Keywords: نوع سیستم ها; Type systems; Operational semantics; Linked Data;
Keywords: نوع سیستم ها; Functional-logic programming; Type systems; Opaque patterns; Let bindings
Keywords: نوع سیستم ها; Linked Data; RDF; Schema; Type systems; Operational semantics
Keywords: نوع سیستم ها; DSL; Type systems; Semantics; Implementation; Eclipse
Keywords: نوع سیستم ها; Implicit computational complexity; Term rewriting systems; Type systems; Lambda-calculus
Type oriented parallel programming for Exascale
Keywords: نوع سیستم ها; Type oriented programming; Mesham; Parallel programming; Type systems; Asynchronous Jacobi; PGAS;
Message safety in Dart
Keywords: نوع سیستم ها; Type systems; Optional types;
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
Keywords: نوع سیستم ها; Implicit computational complexity; Linear logic; Lambda-calculus; Polynomial time complexity; Type systems;
A note on subject reduction in (â,â)-Curry with respect to complete developments
Keywords: نوع سیستم ها; Formal semantics; Type systems; Existential quantifier; Abstract data types; Subject reduction;
Gradual typing for Smalltalk
Keywords: نوع سیستم ها; Type systems; Gradual typing; Smalltalk
Union and intersection types to support both dynamic and static typing
Keywords: نوع سیستم ها; Programming languages; Program specification; Compilers; Formal languages; Type systems
Extending type systems in a library: Type-safe XML processing in C++
Keywords: نوع سیستم ها; Type systems; XML; Type qualifiers; C++; Template metaprogramming; Active libraries
Practical, pluggable types for a dynamic language
Keywords: نوع سیستم ها; Dynamic languages; Type systems; Programming languages
The Green language
Keywords: نوع سیستم ها; Object-oriented languages; Type systems; Polymorphism; Exception handling system
On Type Inference in the Intersection Type Discipline
Keywords: نوع سیستم ها; λ-calculus; type systems; type inference; unification;
Typechecking Safe Process Synchronization
Keywords: نوع سیستم ها; Concurrency; Ï-calculus; type systems; typechecking;
Analysing input/output-capabilities of mobile processes with a generic type system
Keywords: نوع سیستم ها; Ï-calculus; Type systems; Lattice-ordered monoids;
A type system for static and dynamic checking of C++ pointers
Keywords: نوع سیستم ها; C++; Legacy code; Pointer analysis; Code safety; Type systems;