Search results for "program specialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Rui Wang 0010, XiaoFeng Wang, Zhou Li, Haixu Tang, Michael K. Reiter, Zheng Dong	Privacy-preserving genomic computation through program specialization.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	human genome, privacy-preserving computation, dynamic programming, symbolic execution, secure multi-party computation, program specialization
3	Stephen A. Edwards	Using program specialization to speed SystemC fixed-point simulation.	PEPM	2006	DBLP DOI BibTeX RDF	fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
3	Claudio Ochoa, Josep Silva, Germán Vidal	Lightweight program specialization via dynamic slicing.	WCFLP	2005	DBLP DOI BibTeX RDF	lazy functional logic programming, program specialization, dynamic slicing
3	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Automatic program specialization for Java.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Automatic program specialization, Java, optimization, partial evaluation, object-oriented languages
3	Jung Gyu Park, Myong-Soon Park	Using indexed data structures for program specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	staged computation optimization, partial evaluation, program specialization, automated software engineering
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	Ping Zhu, Siau-Cheng Khoo	Towards constructing reusable specialization components.	PEPM	2007	DBLP DOI BibTeX RDF	component-based software development, program specialization
2	Alexei Lisitsa, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
2	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	Higher-Order and Symbolic Computation	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
2	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization
2	Ulrik Pagh Schultz	A Unification of Inheritance and Automatic Program Specialization.	GPCE	2004	DBLP DOI BibTeX RDF
2	Karina Olmos, Eelco Visser	Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave.	SCAM	2003	DBLP DOI BibTeX RDF
2	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
2	Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi	Distinctness and Sharing Domains for Static Analysis of Java Programs.	ECOOP	2001	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
2	Julia L. Lawall, Gilles Muller	Efficient Incremental Checkpointing of Java Programs.	DSN	2000	DBLP DOI BibTeX RDF	incremental checkpointing, Java, program specialization
2	John Hatcliff, Matthew B. Dwyer, Shawn Laubach	Staging Static Analyses Using Abstraction-Based Program Specialization.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
2	Robert Glück, John Hatcliff, Jesper Jørgensen	Generalization in Hierarchies of Online Program Specialization Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
2	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Optimization of Logic Programs, Program Specialization, Determinacy
2	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
2	Jean-Marie Favre	Preprocessors from an Abstract Point of View. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
2	Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück	Fortran Program Specialization.	SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	FORTRAN
2	Robert Glück, Jesper Jørgensen	Efficient Multi-level Generating Extensions for Program Specialization	PLILP	1995	DBLP DOI BibTeX RDF
2	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
1	Daan Fierens	Improving the Efficiency of Approximate Inference for Probabilistic Logical Models by means of Program Specialization	CoRR	2011	DBLP BibTeX RDF
1	Prasad Naldurg, Raghavendra K. R.	SEAL: a logic programming framework for specifying and verifying access control models.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Daan Fierens	Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Richard Bubel, Reiner Hähnle, Ran Ji	Program Specialization via a Software Verification Tool.	FMCO	2010	DBLP DOI BibTeX RDF
1	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.	LOPSTR	2010	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
1	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
1	Sapan Bhatia, Charles Consel, Calton Pu	Remote specialization for efficient embedded operating systems.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Remote specialization, specialization server, performance analysis, compilers
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	Germán Vidal	Trace Analysis for Predicting the Effectiveness of Partial Evaluation.	ICLP	2008	DBLP DOI BibTeX RDF
1	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.	PADL	2007	DBLP DOI BibTeX RDF
1	Sunil Soman, Chandra Krintz	Efficient and General On-Stack Replacement for Aggressive Program Specialization.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
1	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
1	Alexei Lisitsa, Andrei P. Nemytykh	Towards Verification via Supercompilation.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Helle Markmann Andersen, Ulrik Pagh Schultz	Declarative specialization for object-oriented-program specialization.	PEPM	2004	DBLP DOI BibTeX RDF	declarative specialization, Java, partial evaluation
1	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
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	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
1	Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu	Automatic Specialization of Protocol Stacks.	LCN	2004	DBLP DOI BibTeX RDF
1	Matthias Neubauer, Peter Thiemann	Protocol Specialization.	APLAS	2004	DBLP DOI BibTeX RDF
1	Nathan Linger, Tim Sheard	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving.	TACAS	2004	DBLP DOI BibTeX RDF
1	Siau-Cheng Khoo, Kun Shi	Program Adaptation via Output-Constraint Specialization.	Higher-Order and Symbolic Computation	2004	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
1	Peter Thiemann	Program specialization for execution monitoring.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
1	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
1	Siau-Cheng Khoo, Kun Shi	Output-constraint specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	weakest pre-condition, partial evaluation, specialization
1	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	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	Neil D. Jones, Arne J. Glenstrup	Program Generation, Termination, and Binding-Time Analysis.	GPCE	2002	DBLP DOI BibTeX RDF
1	Jung Gyu Park, Myong-Soon Park	Automatic Specialization of Java Programs in the Distributed Environment.	ICOIN	2002	DBLP DOI BibTeX RDF
1	Elvira Albert, Germán Vidal	The Narrowing-driven Approach to Functional Logic Program Specialization.	New Generation Comput.	2001	DBLP DOI BibTeX RDF
1	Calton Pu, Karsten Schwan, Jonathan Walpole	Infosphere Project: System Support for Information Flow Applications.	SIGMOD Record	2001	DBLP DOI BibTeX RDF
1	Elvira Albert, Michael Hanus, Germán Vidal	Realistic Program Specialization in a Multi-Paradigm Language.	WFLP	2000	DBLP BibTeX RDF
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
1	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Specialization Patterns. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	Luke Hornof	Self-Specializing Mobile Code for Adaptive Network Services.	IWAN	2000	DBLP DOI BibTeX RDF
1	Simon Helsen, Peter Thiemann	Fragmental Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
1	Henning Makholm	On Jones-Optimal Specialization for Strongly Typed Languages.	SAIG	2000	DBLP DOI BibTeX RDF
1	Gilles Muller	Specialization of Systems Programs: Lessons and Perspectives.	SAIG	2000	DBLP DOI BibTeX RDF
1	Litong Song, Yoshihiko Futamura	A New Termination Approach for Specialization.	SAIG	2000	DBLP DOI BibTeX RDF
1	Ulrik Pagh Schultz	Black-Box Program Specialization.	ECOOP Workshops	1999	DBLP BibTeX RDF
1	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller	Towards Automatic Specialization of Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Michel Ferreira, Luís Damas	Multiple Specialization of WAM Code.	PADL	1999	DBLP DOI BibTeX RDF	Prolog Compilation, Code Specialization, Program Analysis
1	Andrei V. Klimov	Program Specialization vs. Program Composition.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
1	María Alpuente, Moreno Falaschi, Germán Vidal	A Unifying View of Functional and Logic Program Specialization.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
1	Alberto Pettorossi, Maurizio Proietti	Program Specialization via Algorithmic Unfold/Fold Transformations.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
1	John P. Gallagher, Laura Lafave	The Role of Trace Abstractions in Program Specialization Algorithms.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
1	Julia L. Lawall	Faster Fourier Transforms via Automatic Program Specialization.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
1	Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel	Fast, Optimized Sun RPC Using Automatic Program Specialization.	ICDCS	1998	DBLP DOI BibTeX RDF
1	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
1	Simon Helsen, Peter Thiemann	Two Flavors of Offline Partial Evaluation.	ASIAN	1998	DBLP DOI BibTeX RDF
1	Zoltán Alexin, Tibor Gyimóthy, Henrik Boström	IMPUT: An Interactive Learning Tool Based on Program Specialization.	Intell. Data Anal.	1997	DBLP DOI BibTeX RDF
1	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
1	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
1	Shan-Hwei Nienhuys-Cheng, Ronald de Wolf	A Complete Method for Program Specialization Based on Unfolding.	ECAI	1996	DBLP BibTeX RDF
1	John Hatcliff, Robert Glück	Reasoning about Hierarchies of Online Program Specialization Systems.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
1	Alberto Pettorossi, Maurizio Proietti	A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Todd Turnidge	Program Specialization via Program Slicing.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
1	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
1	Jean-Marie Favre	Preprocessors from an Abstract Point of View. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF
1	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
1	Germán Puebla, Manuel V. Hermenegildo	Implementation of Multiple Specialization in Logic Programs.	PEPM	1995	DBLP DOI BibTeX RDF	compile-time analysis, multiple program specialization, optimization, multimedia, distributed computing, logic programming, graphical user interfaces, reconfiguration, abstract interpretation, direct manipulation, user interface management system
1	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
1	Robert Glück, Morten Heine Sørensen	Partial Deduction and Driving are Equivalent.	PLILP	1994	DBLP DOI BibTeX RDF
1	Lars Ole Andersen	Self-applicable C Program Specialization.	PEPM	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	Wing Yee Au, Daniel Weise, Scott Seligman	Automatic Generation of Compiled Simulations through Program Specialization.	DAC	1991	DBLP DOI BibTeX RDF
1	Sergei A. Romanenko	Arity Raiser and its Use in Program Specialization.	ESOP	1990	DBLP DOI BibTeX RDF	arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator