Searches , social queries for PROGRAM TRANSFORMATION
Search references for PROGRAM TRANSFORMATION. Phrases containing PROGRAM TRANSFORMATION
See searches and references containing PROGRAM TRANSFORMATION!
Search references for PROGRAM TRANSFORMATION. Phrases containing PROGRAM TRANSFORMATION
See searches and references containing PROGRAM TRANSFORMATION!PROGRAM TRANSFORMATION
Automated generation of a computer program
A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required
Program_transformation
Metaprogramming Language Spoon (for Java) TXL The FermaT Program Transformation System The Program transformation Wiki Transformation Technology Bibliography
List of program transformation systems
List_of_program_transformation_systems
Topics referred to by the same term
Data transformation (computing) Data transformation (statistics) Model transformation Program transformation XML transformation Transformation of text
Transformation
Dutch computer scientist and professor (1966–2022)
declarative programming syntax definition and parsing (Syntax Definition Formalism (SDF/SGLR)), high-level definition of program transformations (Stratego/XT)
Eelco_Visser
Theorem about a certain class of control-flow graphs
transformed into a structured program using only sequence and iteration. Notes This version of the theorem focuses on program transformation. It is primarily relevant
Structured_program_theorem
goal[clarification needed]. Program transformation systems such as Stratego/XT, TXL, Tom, DMS, and ASF+SDF all have transformation languages as a major component
Transformation_language
Tree representation of the abstract syntactic structure of source code
contextual analysis. Abstract syntax trees are also used in program analysis and program transformation systems. Abstract syntax trees are data structures widely
Abstract_syntax_tree
Document-oriented XML representation of source code
scalable, lightweight fact-extraction and transformation. The srcML toolkit consists of the command-line program called srcml, which translates from source
SrcML
Saudi Arabian economic action plan
The National Transformation Program (NTP) is an economic action plan put in place by the government of Saudi Arabia as part of its Vision 2030 development
National Transformation Program (Saudi Arabia)
National_Transformation_Program_(Saudi_Arabia)
Compiler transformation of sequential programs for parallel execution
analysis, alias analysis and data-flow analysis, together with program transformations that expose or increase usable parallelism. Loops have historically
Automatic_parallelization
Programming paradigm
General purpose program transformation systems such as compilers, which accept language descriptions and carry out arbitrary transformations on those languages
Metaprogramming
metaprogramming and language oriented programming, such as static code analysis, program transformation, program generation and implementation of domain-specific
RascalMPL
Program that generates parsers or compilers
metaprogram specifying the object language grammar and semantic transformations into an object program. A typical parser generator associates executable code with
Compiler-compiler
compilers and other related language processing programs. They are used to illustrate and reason about transformations from a source language (left of T) to a
Tombstone_diagram
Branch of computer science
program errors). Program transformation is the process of transforming a program in one form (language) to another form. Comparative programming language analysis
Programming_language_theory
Reengineering Toolkit is a proprietary set of program transformation tools available for automating custom source program analysis, modification, translation or
DMS Software Reengineering Toolkit
DMS_Software_Reengineering_Toolkit
Generic term for compiler optimization
factoring, is a blanket term for any process that moves code within a program. This is typically done for performance and size benefits, and it is a
Code_motion
Software testing tool
BUGSENG for automatic analysis, verification, testing and transformation of C and C++ programs. ECLAIR is a complete re-engineering of a series of prototypes
ECLAIR
Set of software engineering methods
In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point
Program_slicing
(DSL) Model transformation language Refinement Transformation (disambiguation) Program transformation Data transformation Graph transformation Czarnecki;
Model_transformation
controls, analyzes and imitates the work of M. Semantics-based program transformation, such as partial evaluation and supercompilation (SCP), is metacomputation
Metacompilation
Family of linear transformations
In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that
Lorentz_transformation
layer was a function (a program transformation) that added new code to an existing program to produce a new program, and a program's design was modeled by
Feature-oriented_programming
Deliberate creation of difficult-to-understand code
More sophisticated techniques that obfuscate a program at the semantic level through program transformations also exist (rather than at the source level)
Obfuscation_(software)
applications using source transformation. It is a hybrid functional / rule-based language using first order functional programming at the higher level and
TXL_(programming_language)
Software that translates code from one programming language to another
from the need for a strictly defined transformation of the high-level source program into a low-level target program for the digital computer. The compiler
Compiler
Fundamental change in an individual
The Spiritual Transformation Scientific Research Program The University of Philosophical Research Transformational Psychology program Article about Spiritual
Spiritual_transformation
Programming paradigm based on formal logic
for logic-based program verification and program transformation. The use of mathematical logic to represent and execute computer programs is also a feature
Logic_programming
Machine-learning framework
a Python library for accelerator-oriented array computation and program transformation, designed for high-performance numerical computing and large-scale
JAX_(software)
Functional programming language
developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern
Hope_(programming_language)
British academic and author
Functional Programming and Social Computing Sections at Imperial. Darlington is known for the early work he did on program transformation and functional
John_Darlington
Updating or porting legacy software to modern practices and platforms
computer programming languages, architectures (e.g. microservices), software libraries, protocols or hardware platforms. Legacy transformation aims to
Software_modernization
Conversion of C-like programs into hardware description languages
be synthesized and translated into a hardware device such as a field-programmable gate array. Compared to software, equivalent designs in hardware consume
C_to_HDL
Geometric transformation that preserves lines but not angles nor the origin
Euclidean geometry, an affine transformation or affinity (from the Latin, affinis, "connected with") is a geometric transformation that preserves lines and
Affine_transformation
Program transformation to eliminate trees
In the theory of programming languages in computer science, deforestation (also known as fusion) is a program transformation to eliminate intermediate
Deforestation (computer science)
Deforestation_(computer_science)
Restructuring existing computer code without changing its external behavior
iterative cycle of making a small program transformation, testing it to ensure correctness, and making another small transformation. If at any point a test fails
Code_refactoring
open-source software portal Tom is a programming language particularly well-suited for programming various transformations on tree structures and XML-based
Tom_(programming_language)
Ability of a process to examine and modify itself
implemented for languages without built-in reflection by using a program transformation system to define automated source-code changes. Reflection may allow
Reflective_programming
Rational function of the form (az + b)/(cz + d)
In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f ( z ) = a z + b c z + d {\displaystyle
Möbius_transformation
Market transformation describes both a policy objective and a program strategy to promote the value and self-sustaining presence of energy-efficient technologies
Market_transformation
special air-file that stores the transformation matrix. The transformation may be inverted with the invert_air program and the volume may finally be resliced
AIR_(program)
Programming paradigm based on applying and composing functions
Kleene Recursion Equations and was first introduced in their work on program transformation. Burstall, MacQueen and Sannella then incorporated the polymorphic
Functional_programming
Global computing organization
from the original on 2010-01-29. Retrieved 2018-03-22. "Data". program-transformation.org. John Impagliazzo, History of Computing and Education 2 (HCE2):
International Federation for Information Processing
International_Federation_for_Information_Processing
Earliest model of generative grammar
In linguistics, transformational grammar (TG) or transformational-generative grammar (TGG) was the earliest model of grammar proposed within the research
Transformational_grammar
Type of programming language
An XML transformation language is a programming language designed specifically to transform an input XML document into an output document which satisfies
XML_transformation_language
Topics referred to by the same term
combination deinterlacing of television images Weaving, program transformation in Aspect-oriented programming Weaving, grade-separation in vehicular traffic Bob
Weaving_(disambiguation)
Science, Mathematics, And Research For Transformation (SMART) Defense Scholarship Program was tested as a program in 2005 under the Air Force Office of
SMART Defense Scholarship Program
SMART_Defense_Scholarship_Program
Spanish computer scientist
research involves constraint logic programming, programming language design and implementation, program transformation, and applications to bioinformatics
María_García_de_la_Banda
Programming paradigm
most implementations produce compatible combination programs through a type of program transformation known as weaving. An aspect weaver reads the aspect-oriented
Aspect-oriented_programming
American college football season
climbed to a program-best No. 2 in the final AP poll. The 1999 season represented the culmination of Frank Beamer's 13-year transformation of Virginia
1999 Virginia Tech Hokies football team
1999_Virginia_Tech_Hokies_football_team
Characteristic of state of a computer system that outlives the process that created it
specific storage-API calls or in a transparent way with automatic program transformation. This results in code that is slower than native code and more complicated
Persistence (computer science)
Persistence_(computer_science)
Model transformation language
ATL (ATLAS Transformation Language) is a model transformation language and toolkit developed and maintained by OBEO and AtlanMod. It was initiated by the
ATLAS_Transformation_Language
Increasing execution speed and reducing the overheads associated with loops
the result of the program (i.e., be a legal transformation). Evaluating the benefit of a transformation or sequence of transformations can be quite difficult
Loop_optimization
Academic journal
and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security
Journal of Functional Programming
Journal_of_Functional_Programming
Bijection of a set using properties of shapes in space
Coordinate transformation Erlangen program Symmetry (geometry) Motion Reflection Rigid transformation Rotation Topology Transformation matrix Usiskin
Geometric_transformation
Computer programs able to produce inputs from outputs
In computer programming, bidirectional transformations (bx) are programs in which a single piece of code can be run in several ways, such that the same
Bidirectional_transformation
Type of computer programming
Feature-oriented programming GitHub Copilot AI-assisted software development Language-oriented programming Modeling language Program transformation Semantic translation
Automatic_programming
Topics referred to by the same term
system, for car dealerships DMS Software Reengineering Toolkit, program transformation tools DMS-59, a video connector supporting two displays Differential
DMS
Improving the efficiency of software
optimizations. Tools that accept descriptions of optimizations are called program transformation systems and are beginning to be applied to real software systems
Program_optimization
In algebra, a transformation semigroup (or composition semigroup) is a collection of transformations (functions from a set to itself) that is closed under
Transformation_semigroup
verification assertion checking and optimization via source to source program transformation. These tasks are performed by Ciaopp, distributed separately). Ciao
Ciao_(programming_language)
Homomorphism from an initial algebra into another algebra
2015-06-10. Malcolm, Grant (1990), "Data structures and program transformation", Science of Computer Programming, vol. 14, no. 2–3, pp. 255–279, doi:10.1016/0167-6423(90)90023-7
Catamorphism
Concepts from linear algebra
reversed) by a given linear transformation. More precisely, an eigenvector v {\displaystyle \mathbf {v} } of a linear transformation T {\displaystyle T} is
Eigenvalues_and_eigenvectors
American computer scientist (born 1937)
testbed for the development of automatic vectorization and related program transformations. In his role as Director (1986–93) of the Center for Supercomputing
David_Kuck
When a system's behavior depends on timing of uncontrollable events
data-race-free programs, and data-race-free programs cannot observe most program transformations that do not change single-threaded program semantics. In
Race_condition
Functional programming language
terms of the GFDL, version 1.3 or later. John Darlington (1977). "Program Transformation and Synthesis: Present Capabilities". Research Report No. 77/43
NPL_(programming_language)
impacted by the rapid transformation from a hunter-gatherer to a post-industrial society in the 20th century. This transformation resulted in Greenland
Demographics_of_Greenland
feature-oriented software development program cubes (FOSD program cubes) are n-dimensional arrays of functions (program transformations) that represent n-dimensional
FOSD_program_cubes
Language for transforming XML documents
(Extensible Stylesheet Language Transformations, also XSL(T) or XSL-T), is a domain-specific declarative programming language that transforms text into
XSLT
Computer programming paradigm
Mathematical Objects from John Backus From Function Level Semantics to Program Transformation and Optimization SpringerLink see point 1.2 and 1.3 Closed applicative
Function-level_programming
Campaign promise of Mexican president Andrés Manuel López Obrador
The Fourth Transformation (Spanish: Cuarta Transformación) is Mexican President Andrés Manuel López Obrador's (commonly known as "AMLO") 2018 campaign
Fourth_Transformation
Design process
MA in Transformation Design. In 2016 The Glasgow School of Art launched another masters program "M.Des in Design Innovation and Transformation Design"
Transformation_design
Programming language with low- and high-level elements
group developed the CIP-L wide-spectrum language and the CIP-S program transformation system. Extended ML, a wide-spectrum language based on ML One major
Wide-spectrum_language
Programming language specialized to a specific application domain
analysis tools. The meta-compiler methodology is often found in program transformation systems. Metacompilers that played a significant role in both computer
Domain-specific_language
Area of automatic programming
data-format transformations". Since then, these and many other areas have shown to be successful application niches for inductive programming, such as end-user
Inductive_programming
source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation tasks
List of programming language researchers
List_of_programming_language_researchers
Overview of GPS conversion formulas
change of geographic coordinates, conversion of coordinate systems, or transformation to different geodetic datums. Geographic coordinate conversion has applications
Geographic coordinate conversion
Geographic_coordinate_conversion
Rules to verify computer program correctness
for other derived program constructs, like for loop, do...until loop, switch, break, continue can be reduced by program transformation to the rules from
Hoare_logic
Program transformation in computer science
In computer science, refocusing is a program transformation used to implement a reduction semantics—i.e., a small-step operational semantics with an explicit
Refocusing_(semantics)
Process of adapting software to run in a different context
software development Program transformation – Automated generation of a computer program Software portability – Ability of a program to run on different
Porting
Recursive function for formal verification case testing
ISBN 9780070399105. Wand, Mitchell (January 1980). "Continuation-Based Program Transformation Strategies". Journal of the ACM. 27 (1): 164–180. doi:10.1145/322169
McCarthy_91_function
Extraction of information from a running system to verify certain properties
about than instrumentation expressed through a program transformation written in an imperative programming language. Further, static analyses can reason
Runtime_verification
was pioneered by Guy Blelloch as part of the NESL programming language. The flattening transformation is also sometimes called vectorization, but is completely
Flattening_transformation
Concept in mathematical optimization
program can be transformed into a linear program, assuming that the feasible region is non-empty and bounded, using the Charnes–Cooper transformation
Linear-fractional_programming
Programming paradigm
sequential programs to multi-tier applications by program transformation". Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multitier_programming
Converting computer code into a machine readable form
(See also: Program transformation and Data transformation.) In general, a syntax and semantic analyzer tries to retrieve the program's structure from
Code_generation_(compiler)
Translator of computer source code
targets Preprocessor – Program that processes input for another program Program transformation – Automated generation of a computer program ROSE (compiler framework) –
Source-to-source_compiler
refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program.[citation needed] Stepwise
Refinement_(computing)
Production of unnecessarily long, slow or wasteful program code
Combining program analysis to detect bloated code, with program transformation to remove bloated code. Disabling/removing certain program optimizations
Code_bloat
Compiler for Haskell programming language
"Compiling Haskell by program transformation: a report from the trenches". Procedures of the European Symposium on Programming (ESOP). Peyton Jones, S
Glasgow_Haskell_Compiler
Category of formal programming language semantics
example when proving the preservation of correctness under some program transformation. The main disadvantage of big-step semantics is that non-terminating
Operational_semantics
it is a comprehensive economic transformation plan to propel Malaysia's economy into high income economy. The program will lift Malaysia's gross national
Economic Transformation Programme
Economic_Transformation_Programme
British computer scientist
Scholar. He has contributed particularly in the areas of program slicing and program transformation. He is on the editorial boards of a number of academic
Mark Harman (computer scientist)
Mark_Harman_(computer_scientist)
Process of managing several related projects
overall costs and risks of the program. Program management is used in many business sectors such as business transformation, change management, construction
Program_management
Topical guide to software
software List of PHP editors List of pop-up blocking software List of program transformation systems List of proof assistants List of quantum chemistry and solid
Outline_of_software
Topics referred to by the same term
destination IP addresses Virtual-to-physical address translation Program transformation The translation phase of a compiler (or, by extension, the entire
Translation_(disambiguation)
Software feature
incremental program from a conventional program P using, e.g., either manual design and refactoring, or automatic program transformations. These program transformations
Incremental_computing
Central object of study in category theory
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal
Natural_transformation
Liechtensteinian computer scientist
Shoshitaishvili, Yan; Payer, Mathias (2018). "T-Fuzz: Fuzzing by Program Transformation". 2018 IEEE Symposium on Security and Privacy (SP). pp. 697–710
Mathias_Payer
In computer science, an enabling transformation is a compiler optimization that increases the effectiveness of other compiler optimizations. Such an optimization
Enabling_transformation
travel, tourism, insurance
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
PROGRAM TRANSFORMATION
travel, tourism, insurance