Search results for "supercompiler"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Andrei P. Nemytykh	The Supercompiler SCP4: General Structure.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
2	Andrei P. Nemytykh, Victoria A. Pinchuk	Program Transformation with Metasystem Transitions: Experiments with a Supercompiler.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation
2	Roman Blasko	Simulation based performance prediction by PEPSY.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler
2	Valentin F. Turchin	The Concept of a Supercompiler.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Refal
1	Andrei V. Klimov	A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
1	Alexei Lisitsa, Andrei P. Nemytykh	Verification as a parameterized testing (experiments with the SCP4 supercompiler).	Programming and Computer Software	2007	DBLP DOI BibTeX RDF
1	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
1	Morten Heine Sørensen, Robert Glück, Neil D. Jones	A Positive Supercompiler.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
1	Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin	A Self-Applicable Supercompiler.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
1	Valentin F. Turchin	Supercompilation: Techniques and Results.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
1	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
1	Roman Blasco	Systematic Strategy for Performance Prediction in Improvement of Parallel Programs.	CAST	1994	DBLP DOI BibTeX RDF
1	Robert Glück, Valentin F. Turchin	Application of Metasystem Transition to Function Inversion and Transformation.	ISSAC	1990	DBLP DOI BibTeX RDF
1	Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin	Experiments with a Supercompiler.	Symposium on LISP and Functional Programming	1982	DBLP BibTeX RDF