
	Where results make sense

Topic: Program transformation

Related Topics

computer program

programming language

C programming language

Java programming language

Beijing Schmidt CCD Asteroid Program

BAO Schmidt CCD Asteroid Program

Python programming language

Apollo program

Space Shuttle program

object oriented programming

Lisp programming language

functional programming

In the News (Fri 24 May 13)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Program Transformation Wiki / Program Transformation
		One of the aims of a general framework for program transformation is to define transformations that are reusable accross as wide a range of languages as possible.
		Program transformation is used in many areas of software engineering, including compiler construction, software visualization, documentation generation, and automatic software renovation.
		Examples of reverse engineering are decompilation in which an object program is translated into a high-level program, architecture extraction in which the design of a program is derived, documentation generation, and software visualization in which some aspect of a program is depicted in an abstract way.
	www.program-transformation.org /Transform/ProgramTransformation (1043 words)

	Program Transformation (Site not responding. Last check: 2007-10-12)
		Program transformations are usually semantics- (or "correctness-") preserving [optimization, translation, refinement, refactoring,...] but can be used to alter the semantics of the a "program" (language instance) [add a parameter to a procedure, adjust all array bounds by one, remove all code related to a function,...].
		Procedural program transformations are bits of procedural code (written in conventional languages such as C++ or LISP) that navigate around the structures (e.g., crawling over the tree graph) by explicitly specifying checks for node types and transitions across arcs, and specify individual changes to node types and arcs.
		Writing source-to-source transformation systems is considerably harder, because of the need to implicitly extract the structure from the pattern, carry out the structure matching, application condition checking, and update the structures, but it should be clear that source-to-source transformation systems are easier to use.
	semdesigns.com /Products/DMS/ProgramTransformation.html?Home=DMSToolkit (1461 words)

	Program Transformation in Rome (Site not responding. Last check: 2007-10-12)
		Program transformation has also the advantage of being adaptable to imperative and concurrent languages, as well as to functional and logic ones.
		During the program transformation process, an attempt is made to reduce the complexity of the derived programs w.r.t.
		The transformation approach to program derivation can be very effective: we are able to derive logarithmic-time programs from exponential-time programs and also to drastically improve memory utilization, so as to avoid garbage collection or the use of stacks in favour of arrays.
	www.iasi.rm.cnr.it /~proietti/transformation.html (782 words)

	Program Transformation and Analysis
		Program Transformation and Analysis at the University of Bristol
		The specialisation of meta programs is of special interest for the efficient implementation of non-standard computation rules for logic programs, and the specialisation of proof procedures for other logics.
		The analysis of a program's computational behaviour is closely related to the requirements of program transformation.
	www.cs.bris.ac.uk /~john/transformation.html (259 words)

	Program Transformation Wiki / Ja TS
		Program transformation is a powerful technique for supporting software engineering activities: refactoring, formal software development, code generation and language translation.
		Those applications of program transformation show its importance, but its use in practical, large scale, projects is not possible without automation.
		In this language, transformations are specified using a superset of Java, making it easier for programmers to specify the transformations they wish to apply and thus eliminating the need for the transformation engineer.
	www.stratego-language.org /Transform/JaTS (532 words)

	Citations: A survey of strategies in program transformation systems - Visser (ResearchIndex) (Site not responding. Last check: 2007-10-12)
		The author distinguishes two types of the program transformation: 1) translation, where the source and target languages are different; and (2) rephrasing, where the source and target languages are the same.
		Program transformation is the act of automatically transforming a program in one language into another program in a possibly di#erent language.
		In a translation a program is transformed to another language.
	citeseer.ist.psu.edu /context/1747677/440041 (1156 words)

	MAICS96: Mirza
		Program recognition is a relatively new area of research that makes use of artificial intelligence and expert system technology.
		It is a form of program analysis that identifies the reason behind given programs rather than their form or behavior.
		Program recognition, while simplifying the task of automated fault localization, is in itself a difficult process.
	www.cs.indiana.edu /event/maics96/Proceedings/Mirza/mirza.html (2026 words)

	Freeware Download: Program Transformation
		Program connecting to the event log of remote or local print server and chooses from it the print-related messages.
		Program combines easy, "what you see is what you get"-style visual landscape modeling and landscape creation wizard every time you launch the program.
		This program was designed as a demo of the krpRegions library (the library for creating cool looking interfaces), but many people with poor eyesight have found this program very helpful.
	www.dirfile.com /freeware/program-transformation.htm (3028 words)

	Program Transformation (Site not responding. Last check: 2007-10-12)
		Program transformation systematically changes a program within one language into a different shape, usually preserving its semantics.
		For the process of transformation, programs are usually not represented as strings, but as trees (corresponding to the parse tree).
		My position is that program transformation, no matter whether interactive or automatic, would be better served if it represented programs as second-order term graphs, since term graphs make more structure explicit, and this structure can then be more easily be taken advantage of in the transformation process.
	www.cas.mcmaster.ca /~kahl/progtrans.html (146 words)

	[No title]
		Program Objectives The primary objectives of this program are to increase the market penetration of high-efficiency air conditioning units and to improve installation practices in order to provide cost-effective reduction in peak summer demand.
		To ensure that the program’s incentive budget is allocated to projects that are likely to meet with success, all project sponsors will be required to demonstrate a commitment to fulfilling program objectives and competency in completing the proposed project.
		Program Promotion The utility will conduct outreach for the program by providing complete program information and application materials on the web, by providing distributors with an information package that explains the value of high-efficiency air conditioning units (targeted to installers and customers), and by conducting meetings with potential program participants.
	www.puc.state.tx.us /electric/projects/22241/AC-MTP.doc (1766 words)

	Introduction
		Java is an ideal environment for load-time transformation, a powerful technique in which user-specified transformers (possibly supplied by a third party) add, remove, or change fundamental details of transportable code as it is imported into the local Java Virtual Machine (JVM)[LY97].
		The role of the transformers is to implement class features or extensions that the authors did not foresee or chose not to support directly in the original class.
		Broadly, transformers are useful for implementing any behavior that is orthogonal to the purpose of the class and can be specified independently.
	www.usenix.org /publications/library/proceedings/usenix98/full_papers/cohen/cohen_html/node2.html (607 words)

	Program-Transformation.Org
		Program transformation techniques are used in a many areas of software engineering ranging from program synthesis, via program optimization and program refactoring, to reverse engineering and documentation generation.
		Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of program transformation in order to share results across communities.
		There are a number of EntryPoints that focus on specific aspects of program transformation.
	www.program-transformation.org (401 words)

	Program Transformation and Analysis
		The Program Transformation and Analysis Group's work is concerned with theoretical aspects of static program analysis.
		We are investigating a variety of partial semantic preserving program simplification methods primarily using techniques associated with slicing.
		A program schema defines a class of programs, all of which have identical statement structure, but whose expressions may differ.
	www.mcs.gold.ac.uk /Program_Transformation_Anal.html (347 words)

	A Survey of Strategies in Program Transformation Systems - Visser (ResearchIndex) (Site not responding. Last check: 2007-10-12)
		Abstract: Program transformation is used in a wide range of applications including compiler construction, optimization, program synthesis, refactoring, software renovation, and reverse engineering.
		Complex program transformations are achieved through a number of consecutive modifications of a program.
		A transformation strategy is an algorithm for choosing a path in the rewrite relation induced by a set of rules.
	citeseer.ist.psu.edu /visser01survey.html (956 words)

	Analysis-Based Program Transformation (Site not responding. Last check: 2007-10-12)
		We also seek to unify analysis-based transformations with the theory of transformations based on contextual equivalence, and to extend all of this theory to embrace programs that compute in parallel or distributed settings.
		The method consists of giving the programs a denotational semantics in an operationally-based term model in which interaction is the basic observable, and showing that the transformation is meaning-preserving.
		This allows us to consider correctness for programs that interact with their environment without terminating, and also for transformations that change the internal store behavior of the program.
	www.ccs.neu.edu /home/wand/research/analysis-transformation.html (448 words)

	Theme: Program Transformation (Site not responding. Last check: 2007-10-12)
		Program transformation is an automated technique which is often used to streamline a program for better performance.
		If you are interested in program transformation, but your interest does not match available projects, you can try to contact these persons to check if they have projects for you:
		The goal of this project is to implement in a programming language of your choice the transformation from context-free grammars with priorities to character class grammars.
	www.cs.uu.nl /groups/ST/MiniProjects/Theme_ProgTrans.html (87 words)

	DMS Software Reengineering Toolkit (Site not responding. Last check: 2007-10-12)
		A very simple model of DMS is that of an extremely generalized compiler, having a parser, a semantic analyzer, a program transformation engine (to do code generation and optimization), and final output formatting components (producing source code rather than binary code).
		While complex legacy grammars can be defined quickly to enable DMS to operate on source programs in those languages, SD already has language modules and grammars available for many languages.
		SD also offers a number of public tutorials about program transformation systems in general, including some discussion of DMS.
	www.semanticdesigns.com /Products/DMS/DMSToolkit.html (1103 words)

	Citations: XT: a bundle of program transformation tools - de Jonge, Visser, Visser (ResearchIndex) (Site not responding. Last check: 2007-10-12)
		Program transformation encompasses a variety of different, but related, language processing scenarios, such as optimization, compilation, normalization, and renovation.
		....programming idiom in three programming language paradigms in detail: term rewriting, functional programming, and object oriented programming.
		Since reengineering shares several topics of interest with program transformation (in fact it can be viewed as a form of program transformation) it was decided to take advantage of this....
	citeseer.ist.psu.edu /context/1548227/424236 (2588 words)

	Reuse by program transformation (Site not responding. Last check: 2007-10-12)
		Certain adaptations, that are usually performed manually by functional programmers are formalized by program transformations in this paper.
		The corresponding transformations are specified by inference rules in the style of natural semantics.
		The overall thesis of this paper is that suitable operator suites for automated adaptations and a corresponding transformational programming style can eventually be combined with other programming styles, such as polymorphic programming, modular programming, or the monadic style, in order to improve reusability of functional programs.
	homepages.cwi.nl /~ralf/sfp99 (169 words)

	7 Compilation by Program Transformation
		Program transformations are interesting in their own right, as they give insights into the DSR language.
		Note that the programs that are output by the translation are not necessarily operationally equivalent to the originals.
		Programs are indeed looking a lot more like machine code: all functions are declared at the top level, and each function body consists of a linear sequence of atomic instructions (with exception of If which is a branch).
	www.cs.jhu.edu /~scott/plbook/book/html/mainch9.html (5889 words)

	CFC: SCP Special Issue on Program Transformation (Site not responding. Last check: 2007-10-12)
		This makes this CFC interesting for the types forum because types obviously constitute a prime notion for studying properties of transformation operators, for designing frameworks for typed object and meta-programs, for driving program transformations, and for verifying transformations.
		That is, program transformation is meant here in the sense of automated program adaptation by executable transformations.
		Such transformations are used in software maintenance but also in software development in various ways, e.g., for refactoring, software migration, mass maintenance, change logging, schema evolution, aspect weaving, and others.
	www.seas.upenn.edu /~sweirich/types/archive/1999-2003/msg01165.html (273 words)

	DPT: Program Transformation Tool (Site not responding. Last check: 2007-10-12)
		A good example of this trend is automatic program transformation techniques (refactoring).
		A transformation is basically a change made automatically to the existing program.
		These techniques and the implementation of a prototype-tool for refactoring of programs, written in Java-language, is the object and goal of this research
	www.kupin.net /uni/dpt.html (261 words)

	CACHET: An interactive, incremental-attribution-based program transformation system for deriving incremental programs ... (Site not responding. Last check: 2007-10-12)
		Abstract: This paper describes the design and implementation of an interactive, incremental-attribution-based program transformation system, CACHET, that derives incremental programs from non-incremental programs written in a functional language.
		CACHET is designed as a programming environment and implemented using a language-based editor generator, the Synthesizer Generator, with extensions that support complex transformations.
		Transformations directly manipulate the program tree and take into...
	citeseer.lcs.mit.edu /25042.html (499 words)

	Himalayan Institute Directions, yoga meditation sacred link (Site not responding. Last check: 2007-10-12)
		This powerful one-month to three month residential program is designed to make you self-reliant and self-confident as you experience personal growth on all levels.
		The Self-Transformation Program begins with the Dynamics of Meditation™ seminar, which is offered every month (see page 00).
		You may extend your stay for as long as three months, or, if you are interested in staying longer, you may apply to transfer to another residential program.
	www.himalayaninstitute.org /Inside/STP.aspx (347 words)

	Course on Advanced Program transformation
		These started as an art practiced on individual programs by individual scientists, but have advanced considerably over the past years.
		Program construction and problem solving; program transformation and program analysis; tools and applications.
		We demonstrate how this overhead can be eliminated by transforming programs using a variation of positive supercompilation in which the transformation strategy is based on collapsed-jungle evaluation.
	www.diku.dk /topps/activities/pgmtrans (1040 words)

	Stratego
		Stratego is a language for the specification of program transformations.
		Strategies are programmed using a small set of operators (System S) that supports sequential non-deterministic programming, term traversal and matching and building terms.
		Valid transformations on program terms can be described by a set of rewrite rules; rewriting strategies are used to describe when and how the various rules should be applied in order to obtain the desired optimization effects.
	www.cse.ogi.edu /pacsoft/projects/Stratego (1066 words)

	IRM College Hosts Clinger-Cohen Act (CCA) Knowledge Fair II (Site not responding. Last check: 2007-10-12)
		The Organizational Transformation Certificate Program is designed to develop current and next-generation leaders who can anticipate and implement transformational change.
		Governments at all levels – federal, state, and local – including defense and national security organizations are challenged to re-position, re-invent, and re-align themselves in light of the new information resources and opportunities, tools and technologies of the 21st Century.
		The recommended audience for the Organizational Transformation Certificate Program includes DoD and public sector executives and mid-level managers who are or will be responsible for managing and leading divisions, programs, or cross-boundary government initiatives.
	www.ndu.edu /irmc/news/ogran_trans-06-03-05.html (707 words)

	Annie Liu's CSE675: Program Transformation and Program Analysis (Fall `00) (Site not responding. Last check: 2007-10-12)
		Program transformation: source-to-source transformation, partial evaluation, incrementalization, finite differencing, data representation selection, other translation and optimization related techniques.
		Program analysis: control and data dependencies, abstract interpretation, constraint-based analysis, efficient analysis algorithms.
		Program construction and problem solving; program transformation and program analysis; tools and applications; two examples: longest common subsequence and image blurring.
	www.cs.sunysb.edu /~liu/cse675 (1205 words)

Try your search on: Qwika (all wikis)