Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Program_transformation> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Program_transformation 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 (such as Coccinelle, Stratego/XT, TXL, DMS, ASF+SDF or Fermat), a tool that can accept and apply 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 representing parameterized source code text fragments. A practical requirement for source code transformation systems is that they be ableto 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 adequatefront ends for conventional languages (Java, C++, PHP, ...) 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 statesfor which the original program terminates, and for eachsuch 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 deterministicthan the original program. If two programs are refinements of each other,then the programs are equivalent.".
- Program_transformation wikiPageExternalLink papers.
- Program_transformation wikiPageExternalLink www.program-transformation.org.
- Program_transformation wikiPageExternalLink TransformBib.pdf.
- Program_transformation wikiPageID "2799283".
- Program_transformation wikiPageRevisionID "592055394".
- Program_transformation hasPhotoCollection Program_transformation.
- Program_transformation subject Category:Program_transformation.
- Program_transformation type ProgrammingLanguage.
- Program_transformation type Software.
- Program_transformation type Work.
- Program_transformation type CreativeWork.
- Program_transformation type InformationEntity.
- Program_transformation comment "A program transformation is any operation that takes a computer program and generates another program.".
- Program_transformation label "Program transformation".
- Program_transformation sameAs m.025sg9v.
- Program_transformation sameAs Q7248437.
- Program_transformation sameAs Q7248437.
- Program_transformation wasDerivedFrom Program_transformation?oldid=592055394.
- Program_transformation isPrimaryTopicOf Program_transformation.