Search results for "offline partial evaluation"

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	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Michael Leuschel, Stephen-John Craig, Daniel Elphick	Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.	LOPSTR	2006	DBLP DOI BibTeX RDF
2	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
2	Simon Helsen, Peter Thiemann	Two Flavors of Offline Partial Evaluation.	ASIAN	1998	DBLP DOI BibTeX RDF
1	Michael Leuschel, Salvador Tamarit, Germán Vidal	Improving Size-Change Analysis in Offline Partial Evaluation	CoRR	2009	DBLP BibTeX RDF
1	Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
1	Arne J. Glenstrup, Neil D. Jones	Termination analysis and specialization-point insertion in offline partial evaluation.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	quasitermination, size-change graphs, termination, Binding-time analysis
1	J. Guadalupe Ramos, Josep Silva, Germán Vidal	Fast narrowing-driven partial evaluation for inductively sequential programs.	ICFP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, quasi-termination, narrowing
1	J. Guadalupe Ramos, Josep Silva, Germán Vidal	An offline partial evaluator for curry programs.	WCFLP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, narrowing
1	Stephen-John Craig, Michael Leuschel	Self-tuning resource aware specialisation for prolog.	PPDP	2005	DBLP DOI BibTeX RDF
1	Simon Helsen, Peter Thiemann	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
1	John P. Gallagher, Kim S. Henriksen	Abstract Domains Based on Regular Types.	ICLP	2004	DBLP DOI BibTeX RDF
1	Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen	Fully Automatic Binding-Time Analysis for Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	2002	DBLP DOI BibTeX RDF
1	Chin Soon Lee	Finiteness Analysis in Polynomial Time.	SAS	2002	DBLP DOI BibTeX RDF
1	Eijiro Sumii, Naoki Kobayashi	A Hybrid Approach to Online and Offline Partial Evaluation.	Higher-Order and Symbolic Computation	2001	DBLP DOI BibTeX RDF
1	Eijiro Sumii, Naoki Kobayashi	Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).	PEPM	2000	DBLP DOI BibTeX RDF
1	Bernd Grobauer, Zhe Yang	The Second Futamura Projection for Type-Directed Partial Evaluation.	PEPM	2000	DBLP DOI BibTeX RDF
1	Michael Sperber, Peter Thiemann	Generation of LR parsers by partial evaluation.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	functional programming, continuations, partial evaluation, parser generation, LR parsing
1	John Hatcliff	An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
1	Peter Thiemann	A Unified Framework for Binding-Time Analysis.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Peter Holst Andersen, Carsten Kehler Holst	Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.	SAS	1996	DBLP DOI BibTeX RDF
1	Peter Thiemann	Cogen in Six Lines.	ICFP	1996	DBLP DOI BibTeX RDF	multi-level computation, continuations, partial evaluation
1	Michael Sperber, Peter Thiemann	Realistic Compilation by Partial Evaluation.	PLDI	1996	DBLP DOI BibTeX RDF	compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
1	Peter Thiemann, Michael Sperber	Polyvariant Expansion and Compiler Generators.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, partial evaluation, automatic program transformation