default search action
Search dblp for Publications
export results for "toc:db/conf/pepm/pepm91.bht:"
@inproceedings{DBLP:conf/pepm/AriolaA91, author = {Zena M. Ariola and Arvind}, editor = {Charles Consel and Olivier Danvy}, title = {A Syntactic Approach to Program Transformations}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {116--129}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115878}, doi = {10.1145/115865.115878}, timestamp = {Fri, 09 Jul 2021 14:03:46 +0200}, biburl = {https://dblp.org/rec/conf/pepm/AriolaA91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/CortesiF91, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, editor = {Charles Consel and Olivier Danvy}, title = {Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {52--61}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115872}, doi = {10.1145/115865.115872}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/CortesiF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Gluck91, author = {Robert Gl{\"{u}}ck}, editor = {Charles Consel and Olivier Danvy}, title = {Towards Multiple Self-Application}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {309--320}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115900}, doi = {10.1145/115865.115900}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Gluck91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/GomardS91, author = {Carsten K. Gomard and Peter Sestoft}, editor = {Charles Consel and Olivier Danvy}, title = {Globalization and Live Variables}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {166--177}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115882}, doi = {10.1145/115865.115882}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/GomardS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Hannan91, author = {John Hannan}, editor = {Charles Consel and Olivier Danvy}, title = {Staging Transformations for Abstract Machines}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {130--141}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115879}, doi = {10.1145/115865.115879}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Hannan91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Hansen91, author = {Torben Amtoft Hansen}, editor = {Charles Consel and Olivier Danvy}, title = {Properties of Unfolding-based Meta-level Systems}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {243--254}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115892}, doi = {10.1145/115865.115892}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Hansen91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HickeyS91, author = {Timothy J. Hickey and Donald A. Smith}, editor = {Charles Consel and Olivier Danvy}, title = {Toward the Partial Evaluation of {CLP} Languages}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {43--51}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115871}, doi = {10.1145/115865.115871}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HickeyS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HolstG91, author = {Carsten Kehler Holst and Carsten K. Gomard}, editor = {Charles Consel and Olivier Danvy}, title = {Partial Evaluation is Fuller Laziness}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {223--233}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115890}, doi = {10.1145/115865.115890}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HolstG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HuntS91, author = {Sebastian Hunt and David Sands}, editor = {Charles Consel and Olivier Danvy}, title = {Binding Time Analysis: {A} New PERspective}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {154--165}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115881}, doi = {10.1145/115865.115881}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HuntS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/KhooS91, author = {Siau{-}Cheng Khoo and R. S. Sundaresh}, editor = {Charles Consel and Olivier Danvy}, title = {Compiling Inheritance using Partial Evaluation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {211--222}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115886}, doi = {10.1145/115865.115886}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/KhooS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Klimov91, author = {Andrei V. Klimov}, editor = {Charles Consel and Olivier Danvy}, title = {Dynamic Specialization in Extended Functional Language with Monotone Objects}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {199--210}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.376287}, doi = {10.1145/115865.376287}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Klimov91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Lisper91, author = {Bj{\"{o}}rn Lisper}, editor = {Charles Consel and Olivier Danvy}, title = {Detecting Static Algorithms by Partial Evaluation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {31--42}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115870}, doi = {10.1145/115865.115870}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Lisper91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/MasonT91, author = {Ian A. Mason and Carolyn L. Talcott}, editor = {Charles Consel and Olivier Danvy}, title = {Program Transformations for Configuring Components}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {297--308}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115898}, doi = {10.1145/115865.115898}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/MasonT91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/McNerney91, author = {Timothy S. McNerney}, editor = {Charles Consel and Olivier Danvy}, title = {Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {106--115}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115877}, doi = {10.1145/115865.115877}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/McNerney91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Meyer91, author = {Uwe Meyer}, editor = {Charles Consel and Olivier Danvy}, title = {Techniques for Partial Evaluation of Imperative Languages}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {94--105}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115876}, doi = {10.1145/115865.115876}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Meyer91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/MichaylovP91, author = {Spiro Michaylov and Frank Pfenning}, editor = {Charles Consel and Olivier Danvy}, title = {Compiling the Polymorphic Lambda-Calculus}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {285--296}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115896}, doi = {10.1145/115865.115896}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/MichaylovP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Muller91, author = {Robert Muller}, editor = {Charles Consel and Olivier Danvy}, title = {{M-LISP:} Its Natural Semantics and Equational Logic (Extended Abstract)}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {234--242}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115891}, doi = {10.1145/115865.115891}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Muller91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/NielBV91, author = {Anne De Niel and Eddy Bevers and Karel De Vlaminck}, editor = {Charles Consel and Olivier Danvy}, title = {Program Bifurcation for a Polymorphic Typed Functional Language}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {142--153}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115880}, doi = {10.1145/115865.115880}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/NielBV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ParkG91, author = {Young Gil Park and Benjamin Goldberg}, editor = {Charles Consel and Olivier Danvy}, title = {Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {178--189}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115883}, doi = {10.1145/115865.115883}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/ParkG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Charles Consel and Olivier Danvy}, title = {Semantics Preserving Transformation Rules for Prolog}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {274--284}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115895}, doi = {10.1145/115865.115895}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Romanenko91, author = {Alexander Romanenko}, editor = {Charles Consel and Olivier Danvy}, title = {Inversion and Metacomputation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {12--22}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115868}, doi = {10.1145/115865.115868}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Romanenko91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/RufW91, author = {Erik Ruf and Daniel Weise}, editor = {Charles Consel and Olivier Danvy}, title = {Using Types to Avoid Redundant Specialization}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {321--333}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115902}, doi = {10.1145/115865.115902}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/RufW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Sahlin91, author = {Dan Sahlin}, editor = {Charles Consel and Olivier Danvy}, title = {Determinacy Analysis for Full Prolog}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {23--30}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115869}, doi = {10.1145/115865.115869}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Sahlin91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ShermanSD91, author = {David J. Sherman and Robert Strandh and Ir{\`{e}}ne Durand}, editor = {Charles Consel and Olivier Danvy}, title = {Optimization of Equational Programs Using Partial Evaluation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {72--82}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115874}, doi = {10.1145/115865.115874}, timestamp = {Sat, 31 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/ShermanSD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Shivers91, author = {Olin Shivers}, editor = {Charles Consel and Olivier Danvy}, title = {The Semantics of Scheme Control-Flow Analysis}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {190--198}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115884}, doi = {10.1145/115865.115884}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Shivers91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Smith91, author = {Donald A. Smith}, editor = {Charles Consel and Olivier Danvy}, title = {Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {62--71}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115873}, doi = {10.1145/115865.115873}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Smith91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Sundaresh91, author = {R. S. Sundaresh}, editor = {Charles Consel and Olivier Danvy}, title = {Building Incremental Programs using Partial Evaluation}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {83--93}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115875}, doi = {10.1145/115865.115875}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Sundaresh91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Takano91, author = {Akihiko Takano}, editor = {Charles Consel and Olivier Danvy}, title = {Generalized Partial Computation for a Lazy Functional Language}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {1--11}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115867}, doi = {10.1145/115865.115867}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Takano91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Wadler91, author = {Philip Wadler}, editor = {Charles Consel and Olivier Danvy}, title = {Is There a Use for Linear Logic?}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {255--273}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115894}, doi = {10.1145/115865.115894}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Wadler91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/1991, editor = {Charles Consel and Olivier Danvy}, title = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865}, doi = {10.1145/115865}, isbn = {0-89791-433-3}, timestamp = {Fri, 09 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/1991.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.