Search results for "Binding-time analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tim Sheard, Nathan Linger	Search-based binding time analysis using type-directed pruning.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	type-directed search, staging, binding time analysis
3	Torben Æ. Mogensen	Binding Time Analysis for Polymorphically Typed Higher Order Languages.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	semantics, projections, partial evaluation, functional languages, compiler generation, binding time analysis
2	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
2	Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel	Binding-Time Analysis for Mercury.	Program Development in Computational Logic	2004	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	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	Simon Helsen, Peter Thiemann	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
2	Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi	An Efficient Staging Algorithm for Binding-Time Analysis.	LOPSTR	2003	DBLP DOI BibTeX RDF
2	Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov	Partial Evaluation for Common Intermediate Language.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
2	Rogardt Heldal, John Hughes	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	Wim Vanhoof, Maurice Bruynooghe	Binding-Time Annotations Without Binding-Time Analysis.	LPAR	2001	DBLP DOI BibTeX RDF
2	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard	Boolean Constraints for Binding-Time Analysis.	PADO	2001	DBLP DOI BibTeX RDF
2	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
2	Wim Vanhoof	Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.	LPAR	2000	DBLP DOI BibTeX RDF
2	Niels H. Christensen, Robert Glück, Søren Laursen	Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Kenichi Asai	Binding-Time Analysis for Both Static and Dynamic Expressions.	SAS	1999	DBLP DOI BibTeX RDF
2	Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.	ESOP	1998	DBLP DOI BibTeX RDF
2	Peter Thiemann	A Unified Framework for Binding-Time Analysis.	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	Luke Hornof, Jacques Noyé	Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.	PEPM	1997	DBLP DOI BibTeX RDF	C
2	Mihnea Marinescu, Benjamin Goldberg	Partial-Evaluation Techniques for Concurrent Programs.	PEPM	1997	DBLP DOI BibTeX RDF	concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
2	Robert Glück, Jesper Jørgensen	Fast Binding-Time Analysis for Multi-Level Specialization.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	generating extensions, program transformation, program analysis, partial evaluation, functional languages
2	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
2	Fritz Henglein, Christian Mossin	Polymorphic Binding-Time Analysis.	ESOP	1994	DBLP DOI BibTeX RDF
2	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
2	Charles Consel	Polyvariant Binding-Time Analysis For Applicative Languages.	PEPM	1993	DBLP DOI BibTeX RDF
2	Mikhail A. Bulyonkov	Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer.	PEPM	1993	DBLP DOI BibTeX RDF
2	Kei Davis	Higher-order Binding-time Analysis.	PEPM	1993	DBLP DOI BibTeX RDF
2	Mitchell Wand	Specifying the Correctness of Binding-Time Analysis.	POPL	1993	DBLP DOI BibTeX RDF
2	Charles Consel	Binding Time Analysis for High Order Untyped Functional Languages.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME
1	Gabriel Dos Reis, Bjarne Stroustrup	General constant expressions for system programming languages.	SAC	2010	DBLP DOI BibTeX RDF	compile time evaluation, standardization
1	Hang Su, Husheng Liao	A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery.	CSIE	2009	DBLP DOI BibTeX RDF
1	Hang Su, Husheng Liao	XQPE: A Partial Evaluation System for XQuery.	COMPSAC	2008	DBLP DOI BibTeX RDF	reference-sensitivity analysis, partial evaluation, XQuery, binding-time analysis
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	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Germán Vidal	Quasi-terminating logic programs for ensuring the termination of partial evaluation.	PEPM	2007	DBLP DOI BibTeX RDF	quasi-termination, partial deduction
1	Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal	Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.	LOPSTR	2006	DBLP DOI BibTeX RDF
1	Michael Leuschel, Stephen-John Craig, Daniel Elphick	Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.	LOPSTR	2006	DBLP DOI BibTeX RDF
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	Stephen-John Craig, Michael Leuschel	Self-tuning resource aware specialisation for prolog.	PPDP	2005	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	John P. Gallagher, Kim S. Henriksen	Abstract Domains Based on Regular Types.	ICLP	2004	DBLP DOI BibTeX RDF
1	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
1	Zhenghao Wang, Richard R. Muntz	On Stage Ordering in Staged Computation.	GPCE	2003	DBLP DOI BibTeX RDF
1	Peter Thiemann	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
1	Neil D. Jones, Arne J. Glenstrup	Program Generation, Termination, and Binding-Time Analysis.	GPCE	2002	DBLP DOI BibTeX RDF
1	Neil D. Jones, Arne J. Glenstrup	Program generation, termination, and binding-time analysis.	ICFP	2002	DBLP DOI BibTeX RDF
1	Neil D. Jones, Arne J. Glenstrup	Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.	PPDP	2002	DBLP DOI BibTeX RDF
1	Thomas P. Jensen	Types in Program Analysis.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Peter Thiemann	A Prototype Dependency Calculus.	ESOP	2002	DBLP DOI BibTeX RDF
1	Kenichi Asai	Binding-time Analysis for Both Static and Dynamic Expressions.	New Generation Comput.	2001	DBLP DOI BibTeX RDF
1	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
1	Hidehiko Masuhara, Akinori Yonezawa	Run-Time Bytecode Specialization.	PADO	2001	DBLP DOI BibTeX RDF
1	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
1	Luke Hornof, Jacques Noyé	Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction	CoRR	2000	DBLP BibTeX RDF
1	Wim Vanhoof, Maurice Bruynooghe	Towards a modular binding-time analysis for higher-order Mercury.	LOPSTR	2000	DBLP BibTeX RDF
1	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
1	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	The benefits and costs of DyC's run-time optimizations.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	specialization, dynamic compilation
1	Wim Vanhoof, Maurice Bruynooghe	Towards Modular Binding-Time Analysis for First-order Mercury.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Wim Vanhoof, Maurice Bruynooghe	Binding-time Analysis for Mercury.	ICLP	1999	DBLP BibTeX RDF
1	Andrei Sabelfeld, David Sands	A Per Model of Secure Information Flow in Sequential Programs.	ESOP	1999	DBLP DOI BibTeX RDF
1	Peter Thiemann	Correctness of a region-based binding-time analysis.	Electr. Notes Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Marc Gengler, Matthieu Martel	Self-Applicable Partial Evaluation for the pi-Calculus.	PEPM	1997	DBLP DOI BibTeX RDF	meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis
1	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	Annotation-Directed Run-Time Specialization in C.	PEPM	1997	DBLP DOI BibTeX RDF	C
1	Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet	Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.	PEPM	1997	DBLP DOI BibTeX RDF	C
1	Walid Taha, Tim Sheard	Multi-Stage Programming with Explicit Annotations.	PEPM	1997	DBLP DOI BibTeX RDF
1	Rowan Davies	A Temporal-Logic Approach to Binding-Time Analysis.	LICS	1996	DBLP DOI BibTeX RDF
1	Arne J. Glenstrup, Neil D. Jones	BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
1	Kei Davis	PERs from Projections for Binding-Time Analysis.	Lisp and Symbolic Computation	1995	DBLP BibTeX RDF
1	Lars Birkedal, Morten Welinder	Binding-Time Analysis for Standard ML.	Lisp and Symbolic Computation	1995	DBLP BibTeX RDF
1	Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck	Semantic Foundations of Binding Time Analysis for Imperative Programs.	PEPM	1995	DBLP DOI BibTeX RDF
1	Franck Védrine	Binding-Time Analysis and Strictness Analysis by Abstract Interpretation	SAS	1995	DBLP DOI BibTeX RDF
1	Dirk Dussart, Fritz Henglein, Christian Mossin	Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time	SAS	1995	DBLP DOI BibTeX RDF
1	Jens Palsberg	Closure Analysis in Constraint Form.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	constraints, flow analysis, correctness proof
1	Robert Glück, Jesper Jørgensen	Efficient Multi-level Generating Extensions for Program Specialization	PLILP	1995	DBLP DOI BibTeX RDF
1	Fritz Henglein, David Sands	A Semantic Model of Binding Times for Safe Partial Evaluation	PLILP	1995	DBLP DOI BibTeX RDF
1	Lars Birkedal, Morten Welinder	Binding-Time Analysis for Standard ML.	PEPM	1994	DBLP BibTeX RDF
1	Kei Davis	PERs from Projections for Binding-Time Analysis.	PEPM	1994	DBLP BibTeX RDF
1	Jens Palsberg, Michael I. Schwartzbach	Binding-time Analysis: Abstract Interpretation versus Type Inference.	ICCL	1994	DBLP BibTeX RDF
1	Jens Palsberg	Flobal Program Analysis in Constraint Form.	CAAP	1994	DBLP DOI BibTeX RDF
1	Mitchell Wand	Specifying the Correctness of Binding-Time Analysis.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
1	Jens Palsberg	Correctness of Binding-Time Analysis.	J. Funct. Program.	1993	DBLP DOI BibTeX RDF
1	Bernhard Rytz, Marc Gengler	A Polyvariant Binding Time Analysis.	PEPM	1992	DBLP BibTeX RDF
1	Marc Gengler, M. Rytz	A Polyvariant Binding Time Analysis Handling Partially Known Values.	WSA	1992	DBLP BibTeX RDF
1	Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson	Inference Systems for Binding Time Analysis.	WSA	1992	DBLP BibTeX RDF
1	Anders Bondorf	Improving Binding Times Without Explicit CPS-Conversion.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
1	Carsten K. Gomard	A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	partial evaluation, lambda calculus, compiler generation, self-application
1	Neil D. Jones	Static Semantics, Types, and Binding Time Analysis.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	Sebastian Hunt, David Sands	Binding Time Analysis: A New PERspective.	PEPM	1991	DBLP DOI BibTeX RDF
1	Fritz Henglein	Efficient Type Inference for Higher-Order Binding-Time Analysis.	FPCA	1991	DBLP DOI BibTeX RDF
1	Anders Bondorf	Automatic Autoprojection of Higher Order Recursive Equations.	ESOP	1990	DBLP DOI BibTeX RDF	semantics directed compiler generation, Partial evaluation, binding time analysis, self-application
1	Carsten K. Gomard	Partial Type Inference for Untyped Functional Programs.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
1	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
1	Anders Bondorf	A Self-Applicable Partial Evaluator for Term Rewriting Systems.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	elementary matching operations, partially static structures, Decision trees, pattern matching, abstract interpretation, functional languages, binding time analysis
1	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed lambda-Calculus.	Sci. Comput. Program.	1988	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed Lambda-Calculus.	POPL	1988	DBLP DOI BibTeX RDF