default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl79.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AhoU79,
author = {Alfred V. Aho and
Jeffrey D. Ullman},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {The Universality of Data Retrieval Languages},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {110--120},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567763},
doi = {10.1145/567752.567763},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AhoU79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Andler79,
author = {Sten Andler},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Predicate Path Expressions},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {226--236},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567774},
doi = {10.1145/567752.567774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Andler79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Banning79,
author = {John Banning},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {An Efficient Way to Find Side Effects of Procedure Calls and Aliases
of Variables},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {29--41},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567756},
doi = {10.1145/567752.567756},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Banning79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightM79,
author = {Robert Cartwright and
John McCarthy},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {First Order Programming Logic},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {68--80},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567759},
doi = {10.1145/567752.567759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CasanovaB79,
author = {Marco A. Casanova and
Philip A. Bernstein},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {The Logic of a Relational Data Manipulation Language},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {101--109},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567762},
doi = {10.1145/567752.567762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CasanovaB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Clarke79,
author = {Edmund M. Clarke},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Synthesis of Resource Invariants for Concurrent Programs},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {211--221},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567772},
doi = {10.1145/567752.567772},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Clarke79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Cohen79,
author = {Norman H. Cohen},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Characterization and Elimination of Redundancy in Recursive Programs},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {143--157},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567766},
doi = {10.1145/567752.567766},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Cohen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CohenH79,
author = {Rina S. Cohen and
E. Harry},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Automatic Generation of Near-Optimal Translators for Noncircular Attribute
Grammars},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {121--134},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567764},
doi = {10.1145/567752.567764},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CohenH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ConstableJ79,
author = {Robert L. Constable and
Scott Johnson},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {A {PL/CV} Precis},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {7--20},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567754},
doi = {10.1145/567752.567754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ConstableJ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CousotC79,
author = {Patrick Cousot and
Radhia Cousot},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Systematic Design of Program Analysis Frameworks},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {269--282},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567778},
doi = {10.1145/567752.567778},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CousotC79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Critcher79,
author = {Adrienne Critcher},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {The Functional Power of Parameter Passage Mechanisms},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {158--168},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567767},
doi = {10.1145/567752.567767},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Critcher79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Fong79,
author = {Amelia C. Fong},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Automatic Improvement of Programs in Very High Level Languages},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {21--28},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567755},
doi = {10.1145/567752.567755},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Fong79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Fraser79,
author = {Christopher W. Fraser},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {A Compact, Machine-Independent Peephole Optimizer},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {1--6},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567753},
doi = {10.1145/567752.567753},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Fraser79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GoodC79,
author = {Donald I. Good and
Richard M. Cohen and
James G. Keeton{-}Williams},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Principles of Proving Programs Correct in Gypsy},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {42--52},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567757},
doi = {10.1145/567752.567757},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GoodC79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GreifM79,
author = {Irene Greif and
Albert R. Meyer},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Specifying Programming Language Semantics},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {180--189},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567769},
doi = {10.1145/567752.567769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GreifM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GullJ79,
author = {W. E. Gull and
Michael A. Jenkins},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Decisions for "Type" in {APL}},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {190--196},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567770},
doi = {10.1145/567752.567770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GullJ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Harel79,
author = {David Harel},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Recursion in Logics of Programs},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {81--92},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567760},
doi = {10.1145/567752.567760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Harel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoffmanO79,
author = {Christoph M. Hoffmann and
Michael J. O'Donnell},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Interpreter Generation Using Tree Pattern Matching},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {169--179},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567768},
doi = {10.1145/567752.567768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HoffmanO79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JonesM79,
author = {Neil D. Jones and
Steven S. Muchnick},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Flow Analysis and Optimization of Lisp-Like Structures},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {244--256},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567776},
doi = {10.1145/567752.567776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JonesM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LeeGR79,
author = {Stanley Lee and
Willem P. de Roever and
Susan L. Gerhart},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {The Evolution of List-Copying Algorithms},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {53--67},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567758},
doi = {10.1145/567752.567758},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LeeGR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiuF79,
author = {Ken C. Liu and
Arthur C. Fleck},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {String Pattern Matching in Polynomial Time},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {222--225},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567773},
doi = {10.1145/567752.567773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiuF79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Miller79,
author = {Terrence C. Miller},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Type Checking in an Imperfect World},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {237--243},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567775},
doi = {10.1145/567752.567775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Miller79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pratt79,
author = {Vaughan R. Pratt},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Process Logic},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {93--100},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567761},
doi = {10.1145/567752.567761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pratt79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Reif79,
author = {John H. Reif},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Data Flow Analysis of Communicating Processes},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {257--268},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567777},
doi = {10.1145/567752.567777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Reif79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReitmanA79,
author = {Richard P. Reitman and
Gregory R. Andrews},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Certifying Information Flow Properties of Programs: An Axiomatic Approach},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {283--290},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567779},
doi = {10.1145/567752.567779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ReitmanA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SavageS79,
author = {Sowmitri Swamy and
John E. Savage},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Space-Time Tradeoffs for Linear Recursion},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {135--142},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567765},
doi = {10.1145/567752.567765},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SavageS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchonbergSS79,
author = {Edmond Schonberg and
Jacob T. Schwartz and
Micha Sharir},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Automatic Data Structure Selection in {SETL}},
booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
pages = {197--210},
publisher = {{ACM} Press},
year = {1979},
url = {https://doi.org/10.1145/567752.567771},
doi = {10.1145/567752.567771},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SchonbergSS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/79,
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
publisher = {{ACM} Press},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=567752},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/79.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.
retrieved on 2024-09-23 17:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
