default search action
Search dblp for Publications
export results for "toc:db/conf/pepm/pepm92.bht:"
@inproceedings{DBLP:conf/pepm/Andersen92, author = {Lars Ole Andersen}, title = {Self-applicable {C} Program Specialization}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {54--61}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 15:24:56 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Andersen92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/AndersenG92, author = {Lars Ole Andersen and Carsten K. Gomard}, title = {Speedup Analysis in Partial Evaluation: Preliminary Results}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {1--7}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/AndersenG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Bsaies92, author = {Khaled Bsa{\"{\i}}es}, title = {A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {108--115}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Bsaies92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Burton92, author = {C. T. P. Burton}, title = {Program Transformation by Derivor Manipulations}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {90--97}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Burton92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/CheathamS92, author = {Thomas E. Cheatham and Dan C. Stefanescu}, title = {A Suite of Optimizers Based on Abstract Interpretation}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {75--81}, publisher = {Yale University}, year = {1992}, timestamp = {Thu, 09 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/CheathamS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Chin92, author = {Wei{-}Ngan Chin}, title = {Fully Lazy Higher-Order Removal}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {38--47}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Chin92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ConselP92, author = {Charles Consel and Satish Pai}, title = {A Programming Environment for Binding-time Based Partial Evaluators}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {62--66}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/ConselP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/DehboneiJ92, author = {Babak Dehbonei and Pierre Jouvelot}, title = {Semantical Interprocedural Analysis by Partial Symbolic Evaluation}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {14--20}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/DehboneiJ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Field92, author = {John Field}, title = {A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {98--107}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Field92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HarnettM92, author = {Sheila Harnett and Margaret Montenyohl}, title = {Towards Efficient Compilation of a Dynamic Object-Oriented Language}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {82--89}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HarnettM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/KatzW92, author = {Morry Katz and Daniel Weise}, title = {Towards a New Perspective on Partial Evaluation}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {29--37}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/KatzW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Malmkjaer92, author = {Karoline Malmkj{\ae}r}, title = {Predicting Properties of Residual Programs}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {8--13}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Malmkjaer92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Mogensen92, author = {Torben {\AE}. Mogensen}, title = {Self-applicable Partial Evaluation for Pure Lambda Calculus}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {116--121}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Mogensen92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/RufW92, author = {Erik Ruf and Daniel Weise}, title = {Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {67--74}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/RufW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/RytzG92, author = {Bernhard Rytz and Marc Gengler}, title = {A Polyvariant Binding Time Analysis}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {21--28}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/RytzG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ShermanS92, author = {David J. Sherman and Robert Strandh}, title = {Call Unfolding Strategies for Equational Logic Programs}, booktitle = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, pages = {48--53}, publisher = {Yale University}, year = {1992}, timestamp = {Fri, 09 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/ShermanS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/1992, title = {PEPM'92, {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings {(TR} {YALEU/DCS/RR-909)}}, publisher = {Yale University}, year = {1992}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.