Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Program_transformation> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples 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 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 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 wikiPageLength "3351".
- Program_transformation wikiPageOutDegree "25".
- Program_transformation wikiPageRevisionID "634985940".
- Program_transformation wikiPageWikiLink Abstract_syntax_tree.
- Program_transformation wikiPageWikiLink Abstract_syntax_trees.
- Program_transformation wikiPageWikiLink Automatic_programming.
- Program_transformation wikiPageWikiLink C++.
- Program_transformation wikiPageWikiLink Category:Metaprogramming.
- Program_transformation wikiPageWikiLink Category:Program_transformation.
- Program_transformation wikiPageWikiLink Code_generation_(compiler).
- Program_transformation wikiPageWikiLink Comparison_of_code_generation_tools.
- Program_transformation wikiPageWikiLink Computer_program.
- Program_transformation wikiPageWikiLink Data_transformation.
- Program_transformation wikiPageWikiLink FermaT_Transformation_System.
- Program_transformation wikiPageWikiLink Formal_semantics_of_programming_languages.
- Program_transformation wikiPageWikiLink Java_(programming_language).
- Program_transformation wikiPageWikiLink List_of_Program_Transformation_Systems.
- Program_transformation wikiPageWikiLink Metaprogramming.
- Program_transformation wikiPageWikiLink PHP.
- Program_transformation wikiPageWikiLink Parsing.
- Program_transformation wikiPageWikiLink Porting.
- Program_transformation wikiPageWikiLink Program_refinement.
- Program_transformation wikiPageWikiLink Programming_language.
- Program_transformation wikiPageWikiLink Refinement_(computing).
- Program_transformation wikiPageWikiLink Semantic_equivalence.
- Program_transformation wikiPageWikiLink Semantically_equivalent.
- Program_transformation wikiPageWikiLink Semantics_(computer_science).
- Program_transformation wikiPageWikiLink Source-to-source_compiler.
- Program_transformation wikiPageWikiLink Source_code.
- Program_transformation wikiPageWikiLink Source_code_generation.
- Program_transformation wikiPageWikiLink Static_program_analysis.
- Program_transformation wikiPageWikiLink Transformation_language.
- Program_transformation wikiPageWikiLinkText "Program Transformation".
- Program_transformation wikiPageWikiLinkText "Program transformation".
- Program_transformation wikiPageWikiLinkText "Program_transformation".
- Program_transformation wikiPageWikiLinkText "correctness preserving transformation".
- Program_transformation wikiPageWikiLinkText "program transformation systems".
- Program_transformation wikiPageWikiLinkText "program transformation".
- Program_transformation wikiPageWikiLinkText "transform".
- Program_transformation wikiPageWikiLinkText "transformation".
- Program_transformation wikiPageWikiLinkText "transformations".
- Program_transformation wikiPageWikiLinkText "weaving".
- Program_transformation hasPhotoCollection Program_transformation.
- Program_transformation wikiPageUsesTemplate Template:Comp-sci-stub.
- Program_transformation wikiPageUsesTemplate Template:Data_transformation.
- Program_transformation wikiPageUsesTemplate Template:Prog-lang-stub.
- Program_transformation wikiPageUsesTemplate Template:Reflist.
- Program_transformation subject Category:Metaprogramming.
- 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 Thing.
- Program_transformation type Q386724.
- Program_transformation type Q7397.
- Program_transformation type Q9143.
- 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=634985940.
- Program_transformation isPrimaryTopicOf Program_transformation.