Search results for "supercompiler"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Andrei P. Nemytykh	The Supercompiler SCP4: General Structure.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
80	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
80	Valentin F. Turchin	The Concept of a Supercompiler.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Refal
60	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
33	Jason S. Reich	Property-based testing and properties as types : a hybrid approach to supercompiler verification.		2013	RDF
33	Andrei V. Klimov	A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
33	Alexei Lisitsa 0001, Andrei P. Nemytykh	Verification as a parameterized testing (experiments with the SCP4 supercompiler).	Program. Comput. Softw.	2007	DBLP DOI BibTeX RDF
33	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
33	Morten Heine Sørensen, Robert Glück, Neil D. Jones	A Positive Supercompiler.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
33	Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin	A Self-Applicable Supercompiler.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
33	Herbert G. Mayer	Parallel execution enabled by refined source analysis: cost and benefits in a supercompiler.		1996	RDF
33	Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin	Experiments with a Supercompiler.	Symposium on LISP and Functional Programming	1982	DBLP DOI BibTeX RDF
33	Valentin F. Turchin	A supercompiler system based on the language REFAL.	ACM SIGPLAN Notices	1979	DBLP DOI BibTeX RDF
23	Valentin F. Turchin	Supercompilation: Techniques and Results.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
23	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
23	Roman Blasco	Systematic Strategy for Performance Prediction in Improvement of Parallel Programs.	CAST	1994	DBLP DOI BibTeX RDF
23	Robert Glück, Valentin F. Turchin	Application of Metasystem Transition to Function Inversion and Transformation.	ISSAC	1990	DBLP DOI BibTeX RDF