About: Program transformation

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Program transformation Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FProgram_transformation

A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically differ from the original in predictable ways.

Attributes	Values
rdf:type	Thing language schema:Language Language Programming language programming language
rdfs:label	Program transformation (en)
rdfs:comment	A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically differ from the original in predictable ways. (en)
dcterms:subject	Metaprogramming Program transformation
Wikipage page ID	2799283 (xsd:integer)
Wikipage revision ID	1114167975 (xsd:integer)
Link from a Wikipage to another Wikipage	Program synthesis Parsing DMS Software Reengineering Toolkit List of program transformation systems Source-to-source compiler Metaprogramming Computer program Static program analysis Transformational grammar C++ Dynamic recompilation Formal semantics of programming languages PHP Source code Java (programming language) Abstract syntax tree Program transformation Metaprogramming Programming language Transformation language List of Program Transformation Systems Source code generation Program refinement Semantically equivalent
Link from a Wikipage to an external page	https://github.com/INRIA/spoon http://www.semanticdesigns.com/Company/Publications/TransformBib.pdf http://www.cse.dmu.ac.uk/~mward/martin/papers/ http://www.program-transformation.org https://github.com/javaparser/javaparser
sameAs	Program transformation Program transformation Program transformation
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Clarify dbt:Comp-sci-stub dbt:Original_research dbt:Redirect dbt:Reflist dbt:Prog-lang-stub
has abstract	A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically differ from the original in predictable ways. While the transformations can be performed manually, it is often more practical to use a program transformation system that applies specifications of the required transformations. Program transformations may be specified as automated procedures that modify compiler data structures (e.g. abstract syntax trees) representing the program text, or may be specified more conveniently using patterns or templates representing parameterized source code fragments. A practical requirement for source code transformation systems is that they be able to effectively process programs written in a programming language. This usually requires integration of a full front-end for the programming language of interest, including source code parsing, building internal program representations of code structures, the meaning of program symbols, useful static analyses, and regeneration of valid source code from transformed program representations. The problem of building and integrating adequate front ends for conventional languages (Java, C++, PHP etc.) may be of equal difficulty as building the program transformation system itself because of the complexity of such languages. To be widely useful, a transformation system must be able to handle many target programming languages, and must provide some means of specifying such front ends. A generalisation of semantic equivalence is the notion of program refinement: one program is a refinement of another if it terminates on all the initial states for which the original program terminates, and for each such state it is guaranteed to terminate in a possible final state for the original program. In other words, a refinement of a program is more defined and more deterministic than the original program. If two programs are refinements of each other, then the programs are equivalent. (en)
prov:wasDerivedFrom	wikipedia-en:Program_transformation?oldid=1114167975&ns=0
page length (characters) of wiki page	4903 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Program_transformation
is Link from a Wikipage to another Wikipage of	Program optimization Rod Burstall Metacompilation Parsing David May (computer scientist) List of pioneers in computer science DMS Software Reengineering Toolkit Deforestation (computer science) Intentional programming Intermediate representation List of program transformation systems Compiler Coccinelle (software) Friedrich L. Bauer Fuzzing Glasgow Haskell Compiler Operation Reduction for Low Power Operational semantics Compiler-compiler Feature-oriented programming Persistence (computer science) TXL (programming language) Tim Teitelbaum Domain-specific language John Darlington Logic programming Kam-Fai Wong RascalMPL Gödel (programming language) Software modernization Abstract interpretation Abstract syntax tree Code bloat Code generation (compiler) Code refactoring Eelco Visser Hoare logic Model transformation Transformation Translation (disambiguation) Weaving (disambiguation) Reflective programming Aspect-oriented programming Automatic programming Metaprogramming

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software