Searched: Partial *Evaluation[^A-Za-z]
Results from Transform web
This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...
Homepage: http://cs-www.cs.yale.edu/homes/taha/gpce/cfp02.html The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02) A ...
Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...
Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ...
Homepage: http://www.brics.dk/~danvy/ PartialEvaluation SimilixSystem CategoryPeople
Homepages: 2004: http://profs.sci.univr.it/~pepm04/ 2003: http://www.ecs.soton.ac.uk/~mal/PEPM03/ 2002: http://www.informatik.uni-freiburg.de/~thiemann/pepm02/ 2000 ...
Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ...
ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ...
ProgramSpecialization is used where a variable is known to often hold one particular value. In this case, it is possible to generate code taking advantage of this ...
Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ...
Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ...
From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...
Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...
Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...
A ProgramTransformation paradigm is an area of application of TransformationTechniques. Paradigms that are employed in compilers and other automatic language processors ...
Number of topics: 15