Search results for "supercompilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
97	Peter A. Jonsson, Johan Nordlander	Positive supercompilation for a higher order call-by-value language.	POPL	2009	DBLP DOI BibTeX RDF	deforestation, supercompilation, call-by-value
69	Alexei Lisitsa 0001, Andrei P. Nemytykh	Towards Verification via Supercompilation.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
69	Valentin F. Turchin	Supercompilation: Techniques and Results.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
69	Andrei V. Klimov	Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence
69	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
62	Valentin F. Turchin	The Concept of a Supercompiler.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Refal
49	Jens P. Secher, Morten Heine Sørensen	On Perfect Supercompilation.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
48	Michael Leuschel, Bern Martens, Danny De Schreye	Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
28	Dimitur Krustev	Controlling the Size of Supercompiled Programs using Multi-result Supercompilation.	CoRR	2020	DBLP BibTeX RDF
28	Dimitur Nikolaev Krustev	Optimizing Program Size Using Multi-result Supercompilation.	VPT/HCVS@ETAPS	2020	DBLP DOI BibTeX RDF
28	Nathaniel Nystrom	A Scala framework for supercompilation.	SCALA@SPLASH	2017	DBLP DOI BibTeX RDF
28	Ilya G. Klyuchnikov, Sergei A. Romanenko	Supercompilation for Martin-Lof's type theory.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
28	Torben Ægidius Mogensen	Supercompilation for Datatypes.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
28	Ilya G. Klyuchnikov, Sergei A. Romanenko	Certifying Supercompilation for Martin-Löf's Type Theory.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
28	Geoff W. Hamilton, Morten Heine Sørensen	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.	VPT@CAV	2014	DBLP DOI BibTeX RDF
28	Abdulbasit Ahmed, Alexei Lisitsa 0001, Andrei P. Nemytykh	Cryptographic Protocol Verification via Supercompilation (A Case Study).	VPT@CAV	2013	DBLP DOI BibTeX RDF
28	Geoff W. Hamilton	On the Termination of Positive Supercompilation.	VPT@CAV	2013	DBLP DOI BibTeX RDF
28	Maximilian C. Bolingbroke	Supercompilation for call-by-need languages.		2013	RDF
28	Ilya G. Klyuchnikov, Sergei A. Romanenko	Higher-level supercompilation as a metasystem transition.	Program. Comput. Softw.	2012	DBLP DOI BibTeX RDF
28	Ilya G. Klyuchnikov, Sergei A. Romanenko	Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
28	Andrei V. Klimov	Solving Coverability Problem for Monotonic Counter Systems by Supercompilation.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
28	Peter A. Jonsson, Johan Nordlander	Taming code explosion in supercompilation.	PEPM	2011	DBLP DOI BibTeX RDF
28	Peter A. Jonsson	Time- and size-efficient supercompilation.		2011	RDF
28	Peter A. Jonsson, Johan Nordlander	Positive Supercompilation for a Higher-Order Call-By-Value Language	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
28	Neil Mitchell	Rethinking supercompilation.	ICFP	2010	DBLP DOI BibTeX RDF
28	Maximilian C. Bolingbroke, Simon L. Peyton Jones	Supercompilation by evaluation.	Haskell	2010	DBLP DOI BibTeX RDF
28	Ilya G. Klyuchnikov, Sergei A. Romanenko	Proving the Equivalence of Higher-Order Terms by Means of Supercompilation.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
28	Alexei Lisitsa 0001, Andrei P. Nemytykh	Reachability Analysis in Verification via Supercompilation.	Int. J. Found. Comput. Sci.	2008	DBLP DOI BibTeX RDF
28	Jens Peter Secher	Perfect supercompilation - master's thesis.		1999	RDF
28	Morten Heine Sørensen, Robert Glück	Introduction to Supercompilation.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
28	Valentin F. Turchin	Metacomputation: Metasystem Transitions plus Supercompilation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
28	Robert Glück, Morten Heine Sørensen	A Roadmap to Metacomputation by Supercompilation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
28	Morten Heine Sørensen, Robert Glück	An Algorithm of Generalization in Positive Supercompilation.	ILPS	1995	DBLP BibTeX RDF
28	Robert Glück, Jesper Jørgensen	Generating Transformers for Deforestation and Supercompilation.	SAS	1994	DBLP DOI BibTeX RDF
28	Valentin F. Turchin	Program transformation by supercompilation.	Programs as Data Objects	1985	DBLP DOI BibTeX RDF
27	Alexei Lisitsa 0001, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
27	Jens P. Secher, Morten Heine Sørensen	From checking to inference via driving and dag grammars.	PEPM	2002	DBLP DOI BibTeX RDF	inference, supercompilation, program inversion
21	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
21	Geoff W. Hamilton	Distillation: extracting the essence of programs.	PEPM	2007	DBLP DOI BibTeX RDF	superlinear improvement, program transformation, termination, generalisation, tail-recursion
21	Andrei P. Nemytykh	The Supercompiler SCP4: General Structure.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
21	Jens P. Secher	Driving in the Jungle.	PADO	2001	DBLP DOI BibTeX RDF
21	Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Improving Control in Functional Logic Program Specialization.	SAS	1998	DBLP DOI BibTeX RDF
21	María Alpuente, Moreno Falaschi, Germán Vidal	Narrowing-Driven Partial Evaluation of Functional Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
21	David Sands 0001	Proving the Correctness of Recursion-Based Automatic Program Transformations.	TAPSOFT	1995	DBLP DOI BibTeX RDF