Search dblp for Publications

export results for "toc:db/conf/pepm/pepm92.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.