Keywords: برنامه نویسی کاربردی; Functional programming; High-performance computing;
مقالات ISI برنامه نویسی کاربردی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: برنامه نویسی کاربردی; Foreign functions; Functional programming; Modularity;
Keywords: برنامه نویسی کاربردی; Semantics; Lambda calculus; Functional programming; Lazy evaluation; Improvement;
Keywords: برنامه نویسی کاربردی; Shortcut fusion; Circular programming; Deforestation; Functional programming;
Keywords: برنامه نویسی کاربردی; Attribute grammars; Functional programming; Functional zippers; Bidirectional transformations;
Keywords: برنامه نویسی کاربردی; Multi-agent systems; Evolutionary computing; Functional programming;
Keywords: برنامه نویسی کاربردی; Multicore; Parallelism; Functional programming; Presburger Arithmetic; Decision procedure
Keywords: برنامه نویسی کاربردی; Directed graphs; Relation algebra; Reflexive-transitive closure; Rectangle; Functional programming; Haskell
Keywords: برنامه نویسی کاربردی; Programming languages; Programming language constructs; Agent-oriented programming; Functional programming; Object-oriented programming
Keywords: برنامه نویسی کاربردی; Program transformation; Functional programming; Algebra of programming; Probabilistic risk assessment
Keywords: برنامه نویسی کاربردی; Functional array; Sparse array; Extensible array; Functional programming; Circuit parallelism
Keywords: برنامه نویسی کاربردی; High-level parallel programming; Generate-Test-Aggregate algorithm; Program transformation; Program calculation; MapReduce; Functional programming
Keywords: برنامه نویسی کاربردی; Programming paradigms; Object-orientation; Functional programming; Concurrency; Parallelism; Meta-programming; Dynamic typing; C#;
Keywords: برنامه نویسی کاربردی; Implicit computational complexity; Logarithmic space; Type system; Geometry of interaction; Functional programming
MAC A verified static information-flow control library
Keywords: برنامه نویسی کاربردی; Information Flow Control; Non Interference; Functional Programming; Haskell; Agda;
Functional BIP: Embedding connectors in functional programming languages
Keywords: برنامه نویسی کاربردی; BIP; Connectors; Dynamicity; Functional programming; Haskell; Scala;
Combinators and type-driven transformers in Objective Caml
Keywords: برنامه نویسی کاربردی; Compilers; Functional programming; Datatype-generic programming; Combinators; Modularization and code reuse
Inductive representations of RDF graphs
Keywords: برنامه نویسی کاربردی; Functional programming; RDF; Graph; Haskell; Inductive graphs
Feasibility interval for the transactional event handlers of P-FRP
Keywords: برنامه نویسی کاربردی; Real-time systems; Schedulability; Functional programming; Feasibility interval; Response time analysis;
A correspondence between type checking via reduction and type checking via evaluation
Keywords: برنامه نویسی کاربردی; Formal semantics; Functional programming; Compositional evaluators; Type checkers; Continuation-passing style; Defunctionalization; Refunctionalization
Bulk synchronous parallel ML with exceptions
Keywords: برنامه نویسی کاربردی; Parallel programming; Exception handling; Functional programming; Bulk synchronous parallelism; Syntax of languages
Customizing a functional programming language for web development
Keywords: برنامه نویسی کاربردی; Functional programming; Web development; Programming languages design; Wafl
Implementing a computer algebra system in Haskell
Keywords: برنامه نویسی کاربردی; Computer algebra; Mixed computation; Functional programming; Haskell
Generalising the array split obfuscation
Keywords: برنامه نویسی کاربردی; Obfuscation; Abstract data-types; Functional programming; Generalising
Domain decomposition and skeleton programming with OCamlP3l
Keywords: برنامه نویسی کاربردی; Parallel programming; Functional programming; Skeleton; Code coupling; Domain decomposition; Flow in porous media;
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
Keywords: برنامه نویسی کاربردی; Bulk Synchronous Parallelism; Functional programming; Polymorphic type system;
CPS transformation of beta-redexes
Keywords: برنامه نویسی کاربردی; Functional programming; Program derivation; Continuation-passing style (CPS); Plotkin; Fischer; One-pass CPS transformation; Two-level λ-calculus; Generalized reduction;
Programmable Rewriting Strategies in Haskell
Keywords: برنامه نویسی کاربردی; Rewrite startegies; programming languages; Haskell; functional programming;
Vicious Circles in Orthogonal Term Rewriting Systems
Keywords: برنامه نویسی کاربردی; Term rewriting systems; cyclic reductions; normalization; functional programming;
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
Keywords: برنامه نویسی کاربردی; Symbolic Model Checking; Functional Programming;
A natural language help system shell through functional programming
Keywords: برنامه نویسی کاربردی; Natural language processing; Functional programming; Automated responses; Scripts;
Dealing Denotationally With Stream-based Communication
Keywords: برنامه نویسی کاربردی; Denotational semantics; continuation semantics; laziness; parallel programming; functional programming; Eden;
Axioms for strict and lazy functional programs
Keywords: برنامه نویسی کاربردی; Functional programming; Call-by-value evaluation; Call-by-name evaluation; Monotonicity of evaluation; Context lemma;
Constraint Functional Logic Programming Revisited
Keywords: برنامه نویسی کاربردی; Functional Programming; Logic Programming; Constraints;