Keywords: تحولات برنامه; Program transformations; Nominal unification; Functional languages; Atom-variables; Correctness;
مقالات ISI تحولات برنامه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تحولات برنامه; Optimizing compilers; Program transformations; Temporal logic; SMT solvers;
Controlling a complete hardware synthesis toolchain with LARA aspects
Keywords: تحولات برنامه; Design-Space Exploration (DSE); Automatic hardware synthesis; Hardware/software partitioning; Program transformations; Aspect-oriented programming; FPGAs
Program transformations for information personalization
Keywords: تحولات برنامه; Hierarchical hypermedia; Information personalization; Navigation; Out-of-turn interaction; Program transformations; Partial evaluation; Program slicing; Web interaction; Web mining; Website transformation
Recovering structured data types from a legacy data model with overlays
Keywords: تحولات برنامه; Program transformations; Reengineering; Legacy systems
Co-transformations in Information System Reengineering
Keywords: تحولات برنامه; database reengineering; schema transformations; program transformations;
Java Bytecode Transformations for Efficient, Portable CPU Accounting
Keywords: تحولات برنامه; Java; Resource Management; Bytecode Engineering; Program Transformations;
An Invasive Composition System for Local-to-Global Transformations
Keywords: تحولات برنامه; Maintainability; Evolvability; Rewrite rules; Program Transformations; Invasive Composition;