Keywords: تحول برنامه; Term rewriting; Reversible computation; Program transformation;
مقالات ISI تحول برنامه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تحول برنامه; Program analysis; Program transformation; Type theory; Dynamic typing;
Keywords: تحول برنامه; Incremental evaluation; Attribute grammars; Change propagation; Program transformation;
Keywords: تحول برنامه; Program transformation; Iteration; Recursion
Keywords: تحول برنامه; Program transformation; Functional programming; Algebra of programming; Probabilistic risk assessment
Keywords: تحول برنامه; High-level parallel programming; Generate-Test-Aggregate algorithm; Program transformation; Program calculation; MapReduce; Functional programming
Keywords: تحول برنامه; Static analysis; Heap-sensitive analysis; Termination; Java bytecode; Program transformation
Keywords: تحول برنامه; Operational semantics; Program transformation; Reduction strategies; Abstract machines; Full reduction
Keywords: تحول برنامه; Effect type system; Kripke logical relation; Program transformation
From Jinja bytecode to term rewriting: A complexity reflecting transformation
Keywords: تحول برنامه; Program transformation; Term rewriting; Termination and resource analysis; Automation;
Software Watermarking: A Semantics-based Approach
Keywords: تحول برنامه; Software Watermarking; Abstract Interpretation; Program semantics; Program transformation;
JIT-Based Cost Analysis for Dynamic Program Transformations
Keywords: تحول برنامه; Cost Model; JIT Compiler; Program Transformation; Skeleton; Parallelism;
Ping-pong protocols as prefix grammars: Modelling and verification via program transformation
Keywords: تحول برنامه; Prefix grammar; Ping-pong protocol; Program transformation; Supercompilation; Dolev–Yao intruder model; Verification
Program verification via iterated specialization
Keywords: تحول برنامه; Software model checking; Constraint logic programming; Program specialization; Program transformation
A RESEARCH ON SEAMLESS PLATFORM CHANGE OF REACTOR PROTECTION SYSTEM FROM PLC TO FPGA
Keywords: تحول برنامه; Embedded Software Development; PLC; FPGA; FBD; Verilog; Program Transformation
Optimizing the stack size of recursive functions
Keywords: تحول برنامه; Program size optimization; Stack size reduction; Memory compaction; Recursion; Recursion removal; Program transformation; Post pass optimization
Object-oriented transformations for extracting aspects
Keywords: تحول برنامه; Aspect-oriented programming; Refactoring; Software evolution; Program transformation
Decompilation of Java bytecode to Prolog by partial evaluation
Keywords: تحول برنامه; Program transformation; Partial evaluation; Decompilation; Interpreters; Java bytecode; Logic programming
Stratego/XT 0.17. A language and toolset for program transformation
Keywords: تحول برنامه; Stratego; Stratego/XT; Program transformation; Rewriting strategies; Rewrite rules; Concrete syntax; Dynamic rewrite rules
Alternators in read/write atomicity
Keywords: تحول برنامه; Stabilization; Alternator; Program transformation; Serial execution model (interleaving semantics); Concurrent execution model (powerset semantics); Read/write atomicity; Algorithms; Concurrency;
Towards formalising AADL in Proof Assistants
Keywords: تحول برنامه; AADL; Program Transformation; Theorem Proving;
JVM Bytecode Verification Without Dataflow Analysis
Keywords: تحول برنامه; program transformation; bytecode verification; Java Virtual Machine;
Translating Double Dispatch into Single Dispatch
Keywords: تحول برنامه; Double Dispatch; Multi Methods; Dynamic Overloading; Program Transformation;
Elimination of Local Variables from Definite Logic Programs
Keywords: تحول برنامه; local variables; logic programming; program transformation;
Strategy Construction in the Higher-Order Framework of TL
Keywords: تحول برنامه; Program transformation; rewriting; strategic programming; higher-order rewriting; transient combinator; TL;
ConSUS: a light-weight program conditioner
Keywords: تحول برنامه; Program conditioning; Slicing; Program transformation; Decision procedures;
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Keywords: تحول برنامه; Program development; Global analysis; Abstract interpretation; Debugging; Verification; Partial evaluation; Program transformation; Optimization; Parallelization; Resource control; Programming environments; Multi-Paradigm programming; (Constraint) Logic p
Observations on the assured evolution of concurrent Java programs
Keywords: تحول برنامه; Java; Concurrency; Program assurance; Static analysis; Program transformation; Refactoring; Program evolution;
Unfolding-based Improvements on Fuzzy Logic Programs
Keywords: تحول برنامه; Fuzzy Logic Programming; Program Transformation;
Static insertion of safe and effective memory reuse commands into ML-like programs
Keywords: تحول برنامه; Program analysis; Program transformation; Type system; Compile-time garbage collection;
A survey of strategies in rule-based program transformation systems
Keywords: تحول برنامه; Program transformation; Transformation rule; Transformation strategy; Program representation; Term rewriting; Pattern matching; Extensions of term rewriting; Strategy annotations; Tree parsing; Attribute grammars; Strategy combinators; Tree traversal; Con