Search dblp for Publications

export results for "toc:db/conf/popl/popl76.bht:"

 download as .bib file

@inproceedings{DBLP:conf/popl/AhoJU76,
  author       = {Alfred V. Aho and
                  Stephen C. Johnson and
                  Jeffrey D. Ullman},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Code Generation for Expressions with Common Subexpressions},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {19--31},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811537},
  doi          = {10.1145/800168.811537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/AhoJU76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Baker76,
  author       = {Brenda S. Baker},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {An Algorithm for Structuring Programs},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {113--126},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811545},
  doi          = {10.1145/800168.811545},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Baker76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/BoyerMS76,
  author       = {Robert S. Boyer and
                  J Strother Moore and
                  Robert E. Shostak},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Primitive Recursive Program Transformations},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {171--174},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811550},
  doi          = {10.1145/800168.811550},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/BoyerMS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/BrittonDGHH76,
  author       = {Dianne E. Britton and
                  Frederick C. Druseikis and
                  Ralph E. Griswold and
                  David R. Hanson and
                  Richard A. Holmes},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Procedure Referencing Environments in {SL5}},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {185--191},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811552},
  doi          = {10.1145/800168.811552},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BrittonDGHH76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/FongU76,
  author       = {Amelia C. Fong and
                  Jeffrey D. Ullman},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Induction Variables in Very High Level Languages},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {104--112},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811544},
  doi          = {10.1145/800168.811544},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/FongU76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Franck76,
  author       = {Reinhold Franck},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {{PLAN2D} - Syntactic Analysis of Precedence Graph Grammars},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {134--139},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811547},
  doi          = {10.1145/800168.811547},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Franck76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Geller76,
  author       = {Matthew M. Geller},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Test Data as an Aid in Proving Program Correctness},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {209--218},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811554},
  doi          = {10.1145/800168.811554},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Geller76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/GriffithsP76,
  author       = {Patricia P. Griffiths and
                  Charles J. Prenner},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Verifying Formal Specifications of Synchronous Processes},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {192--208},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811553},
  doi          = {10.1145/800168.811553},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GriffithsP76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HendersonM76,
  author       = {Peter Henderson and
                  James H. Morris Jr.},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {A Lazy Evaluator},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {95--103},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811543},
  doi          = {10.1145/800168.811543},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HendersonM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Hunt76,
  author       = {Harry B. Hunt III},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {A Complexity Theory of Grammar Problems},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {12--18},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811536},
  doi          = {10.1145/800168.811536},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Hunt76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/JonesM76,
  author       = {Neil D. Jones and
                  Steven S. Muchnick},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Binding Time Optimization in Programming Languages: Some Thoughts
                  Toward the Design of an Ideal Language},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {77--94},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811542},
  doi          = {10.1145/800168.811542},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JonesM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/KennedyW76,
  author       = {Ken Kennedy and
                  Scott K. Warren},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Automatic Generation of Efficient Evaluators for Attribute Grammars},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {32--49},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811538},
  doi          = {10.1145/800168.811538},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/KennedyW76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Kosinski76,
  author       = {Paul R. Kosinski},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Mathematical Semantics and Data Flow Programming},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {175--184},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811551},
  doi          = {10.1145/800168.811551},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Kosinski76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/LaLonde76,
  author       = {Wilf R. LaLonde},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {On Directly Constructing LR(k) Parsers Without Chain Reductions},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {127--133},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811546},
  doi          = {10.1145/800168.811546},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/LaLonde76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/LeongW76,
  author       = {Benton L. Leong and
                  Detlef Wotschke},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {The Influence of Productions on Derivations and Parsing},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {1--11},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811535},
  doi          = {10.1145/800168.811535},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/LeongW76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Loveman76,
  author       = {David B. Loveman},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Program Improvement by Source to Source Transformation},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {140--152},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811548},
  doi          = {10.1145/800168.811548},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Loveman76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/LowR76,
  author       = {James R. Low and
                  Paul Rovner},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Techniques for the Automatic Selection of Data Structures},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {58--67},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811540},
  doi          = {10.1145/800168.811540},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/LowR76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Ruth76,
  author       = {Gregory R. Ruth},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Automatic Design of Data Processing Systems},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {50--57},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811539},
  doi          = {10.1145/800168.811539},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Ruth76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Summers76,
  author       = {Phillip D. Summers},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {A Methodology for Lisp Program Construction from Examples},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {68--76},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811541},
  doi          = {10.1145/800168.811541},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Summers76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Wegbreit76,
  author       = {Ben Wegbreit},
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Goal-Directed Program Transformation},
  booktitle    = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  pages        = {153--170},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {https://doi.org/10.1145/800168.811549},
  doi          = {10.1145/800168.811549},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Wegbreit76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/popl/1976,
  editor       = {Susan L. Graham and
                  Robert M. Graham and
                  Michael A. Harrison and
                  William I. Grosky and
                  Jeffrey D. Ullman},
  title        = {Conference Record of the Third {ACM} Symposium on Principles of Programming
                  Languages, Atlanta, Georgia, USA, January 1976},
  publisher    = {{ACM} Press},
  year         = {1976},
  url          = {http://dl.acm.org/citation.cfm?id=800168},
  timestamp    = {Mon, 21 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/1976.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.