Search results for "online partial evaluation"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Niels H. Christensen, Robert Glück	Offline partial evaluation can be as accurate as online partial evaluation.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
2	Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla	Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	William R. Cook, Ralf Lämmel	Tutorial on Online Partial Evaluation	DSL	2011	DBLP DOI BibTeX RDF
1	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
1	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
1	Germán Vidal	Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	Michael Sperber	Self-Applicable Online Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
1	Torben Æ. Mogensen	Self-applicable Online Partial Evaluation of Pure Lambda Calculus.	PEPM	1995	DBLP DOI BibTeX RDF
1	Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman	Automatic Online Partial Evaluation.	FPCA	1991	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )