Search results for "partial evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
4	Claudio Ochoa, Germán Puebla	Poly-controlled partial evaluation in practice.	PEPM	2007	DBLP DOI BibTeX RDF	resource-aware specialization, logic programming, partial evaluation
4	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	PEPM	2007	DBLP DOI BibTeX RDF	residual theorems, partial evaluation, Maple, symbolic computation
4	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
4	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
4	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	PEPM	2003	DBLP DOI BibTeX RDF	partial evaluation, string matching, memoization
4	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
4	Clifford Beshers, Steven Feiner	Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow
4	Lennart Augustsson	Partial Evaluation in Aircraft Crew Planning.	PEPM	1997	DBLP DOI BibTeX RDF	airline crew scheduling, generalized constant propagation, program transformation, partial evaluation
4	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
4	Rogardt Heldal, John Hughes	Partial Evaluation and Separate Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	partial evaluation, modules, separate compilation
3	Leon Evers, Jan Kuper	Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks.	PEPM	2009	DBLP DOI BibTeX RDF	wireless sensor networks, partial evaluation
3	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
3	Germán Vidal	Quasi-terminating logic programs for ensuring the termination of partial evaluation.	PEPM	2007	DBLP DOI BibTeX RDF	quasi-termination, partial deduction
3	David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A formal relationship between program slicing and partial evaluation.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Conditioned program slicing, Partial evaluation
3	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Partial evaluation, string matching, memoization
3	Jonathan Cooper, Steve McKeever, Alan Garny	On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.	PEPM	2006	DBLP DOI BibTeX RDF
3	Germán Puebla, Claudio Ochoa	Poly-controlled partial evaluation.	PPDP	2006	DBLP DOI BibTeX RDF	control rules, optimization, partial evaluation
3	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
3	Germán Vidal	Cost-Augmented Partial Evaluation of Functional Logic Programs.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	partial evaluation, functional logic programming, computational costs
3	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
3	David Herman, Philippe Meunier	Improving the static analysis of embedded languages via partial evaluation.	ICFP	2004	DBLP DOI BibTeX RDF	value flow analysis, partial evaluation, macros, embedded languages
3	Gustavo J. Bobeff, Jacques Noyé	Component specialization.	PEPM	2004	DBLP DOI BibTeX RDF	component generator, program slicing, partial evaluation, component-based software development
3	Gary Daugherty	Invited application paper: a proposal for the specialization of HA/DRE systems.	PEPM	2004	DBLP DOI BibTeX RDF	fast path, specialization model, specialization state, optimization, pattern, refactoring, partial evaluation, aspect
3	Helle Markmann Andersen, Ulrik Pagh Schultz	Declarative specialization for object-oriented-program specialization.	PEPM	2004	DBLP DOI BibTeX RDF	declarative specialization, Java, partial evaluation
3	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
3	John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby	Slicing and partial evaluation of CORBA component model designs for avionics system.	PEPM	2003	DBLP DOI BibTeX RDF	distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing
3	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
3	Peter Thiemann	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
3	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
3	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Knuth-Morris-Pratt string matching, data specialization, program specialization, trace semantics
3	Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones	Mixed-initiative interaction = mixed computation.	PEPM	2002	DBLP DOI BibTeX RDF	interaction sequences, partial evaluation, VoiceXML, Mixed-initiative interaction, dialog management
3	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
3	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
3	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
3	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
3	Eijiro Sumii, Naoki Kobayashi	Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).	PEPM	2000	DBLP DOI BibTeX RDF
3	Bernd Grobauer, Zhe Yang	The Second Futamura Projection for Type-Directed Partial Evaluation.	PEPM	2000	DBLP DOI BibTeX RDF
3	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
3	Jens Palsberg	Eta-Redexes in Partial Evaluation.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Torben Æ. Mogensen	Partial Evaluation: Concepts and Applications.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Lennart Augustsson	Partial Evaluation in Aircraft Crew Planning.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Satnam Singh, Nicholas McKay	Partial Evaluation of Hardware.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Neil D. Jones, Carsten K. Gomard, Peter Sestoft	Partial Evaluation for the Lambda Calculus.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Olivier Danvy	Type-Directed Partial Evaluation.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	John Hatcliff	An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
3	Renaud Marlet, Scott Thibault, Charles Consel	Mapping Software Architectures to Efficient Implementations via Partial Evaluation. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	code size overhead, inefficiency, flexible mechanisms, generic libraries, software engineering, software engineering, software architectures, pattern matching, interpreters, generic programs, partial evaluation, layers, program specialization, selective broadcast
3	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
3	Saumya K. Debray	Resource-Bounded Partial Evaluation.	PEPM	1997	DBLP DOI BibTeX RDF
3	Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa	Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.	PEPM	1997	DBLP DOI BibTeX RDF
3	María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Specialization of Lazy Functional Logic Programs.	PEPM	1997	DBLP DOI BibTeX RDF	integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
3	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
3	Peter Sestoft	MK Pattern Match Compilation and Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
3	Michael Sperber	Self-Applicable Online Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
3	John Hughes	Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
3	Olivier Danvy	Pragmatics of Type-Directed Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
3	Peter Thiemann	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
3	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
3	Christian Mossin	Partial Evaluation of General Parsers.	PEPM	1993	DBLP DOI BibTeX RDF
3	Julia L. Lawall	Proofs by Structural Induction using Partial Evaluation.	PEPM	1993	DBLP DOI BibTeX RDF	SCHEME
3	Jesper Jørgensen	Generating a Compiler for a Lazy Language by Partial Evaluation.	POPL	1992	DBLP DOI BibTeX RDF	binding time improvements, lazy functional languages, partial evaluation, compiler generation
2	Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni	Obfuscation by partial evaluation of distorted interpreters.	PEPM	2012	DBLP DOI BibTeX RDF
2	Torben Æ. Mogensen	Partial evaluation of the reversible language janus.	PEPM	2011	DBLP DOI BibTeX RDF
2	Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo	Allocation removal by partial evaluation in a tracing JIT.	PEPM	2011	DBLP DOI BibTeX RDF
2	Lennart Augustsson	O, partial evaluator, where art thou?	PEPM	2010	DBLP DOI BibTeX RDF	applications, haskell, partial evaluator
2	Carl Friedrich Bolz, Michael Leuschel, David Schneider	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
2	Robert Glück	Is there a fourth Futamura projection?	PEPM	2009	DBLP DOI BibTeX RDF	Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application
2	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
2	Jinchuan Chen, Reynold Cheng, Mohamed F. Mokbel, Chi-Yin Chow	Scalable processing of snapshot and continuous nearest-neighbor queries over one-dimensional uncertain data.	VLDB J.	2009	DBLP DOI BibTeX RDF	Probabilistic nearest-neighbor query, Partial evaluation, Continuous query, Uncertain data, Incremental evaluation
2	Germán Vidal	Trace Analysis for Predicting the Effectiveness of Partial Evaluation.	ICLP	2008	DBLP DOI BibTeX RDF
2	Andrew W. Keep, Arun Chauhan	Concrete Partial Evaluation in Ruby.	eScience	2008	DBLP DOI BibTeX RDF	C, partial evaluation, Ruby
2	Michael Leuschel, Germán Vidal	Fast Offline Partial Evaluation of Large Logic Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
2	Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone	Partial Evaluation of PEPA Models for Fluid-Flow Analysis.	EPEW	2008	DBLP DOI BibTeX RDF
2	Boris Feigin, Alan Mycroft	Jones optimality and hardware virtualization: a report on work in progress.	PEPM	2008	DBLP DOI BibTeX RDF	Jones optimality, virtual machines, virtualization, full abstraction
2	Ping Zhu, Siau-Cheng Khoo	Specialization for applications using shared libraries.	PEPM	2008	DBLP DOI BibTeX RDF	run-time specialization, shared libraries
2	Stephen A. Edwards, Jia Zeng	Static elaboration of recursion for concurrent software.	PEPM	2008	DBLP DOI BibTeX RDF	SHIM, static elaboration, concurrency, recursion, partial evaluation
2	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
2	Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal	Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
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
2	Gang Zhou, Man-Kit Leung, Edward A. Lee	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.	ICESS	2007	DBLP DOI BibTeX RDF
2	Manfred A. Jeusfeld	Partial Evaluation in Meta Modeling.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
2	Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner	From Contracts Towards Dependent Types: Proofs by Partial Evaluation.	IFL	2007	DBLP DOI BibTeX RDF
2	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
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	Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine	The Ecce and Logen partial evaluators and their web interfaces.	PEPM	2006	DBLP DOI BibTeX RDF	logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
2	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
2	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
2	DeLesley Hutchins	Eliminating distinctions of class: using prototypes to model virtual classes.	OOPSLA	2006	DBLP DOI BibTeX RDF	virtual types, prototypes, abstract interpretation, partial evaluation, features, dependent types, mixins, virtual classes, singleton types
2	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
2	Bo Yang, Nikhil Joshi, Ramesh Karri	A constant array multiplier core generator with dynamic partial evaluation architecture selection (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
2	Michael Jung, Ralf Laue 0002, Sorin A. Huss	A Case Study on Partial Evaluation in Embedded Software Design.	SEUS	2005	DBLP DOI BibTeX RDF
2	Elvira Albert, Germán Puebla, John P. Gallagher	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.	LOPSTR	2005	DBLP DOI BibTeX RDF
2	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
2	Robert Paige	An NSF Proposal.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	data structure selection, program transformation, partial evaluation, software productivity, software performance, language translators
2	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
2	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
2	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
2	Hongyan Mao, Linpeng Huang, Yongqiang Sun	Optimizing Web Services with Partial Evaluation.	CIT	2004	DBLP DOI BibTeX RDF
2	Patrick Schaumont, Ingrid Verbauwhede	Interactive Cosimulation with Partial Evaluation.	DATE	2004	DBLP DOI BibTeX RDF