default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl80.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/BuddDLS80,
author = {Timothy A. Budd and
Richard A. DeMillo and
Richard J. Lipton and
Frederick G. Sayward},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Theoretical and Emperical Studies on Using Program Mutation to Test
the Functional Correctness of Programs},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {220--233},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567468},
doi = {10.1145/567446.567468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BuddDLS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemersD80,
author = {Alan J. Demers and
James E. Donahue},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Data Types, Parameters, and Type Checking},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {12--23},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567448},
doi = {10.1145/567446.567448},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DemersD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemersD80a,
author = {Alan J. Demers and
James E. Donahue},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {"Type-Completeness" as a Language Design Principle},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {234--244},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567469},
doi = {10.1145/567446.567469},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DemersD80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FriedmanW80,
author = {Daniel P. Friedman and
David S. Wise},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {An Indeterminate Constructor for Applicative Programming},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {245--250},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567470},
doi = {10.1145/567446.567470},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FriedmanW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GabbayPSS80,
author = {Dov M. Gabbay and
Amir Pnueli and
Saharon Shelah and
Jonathan Stavi},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {On the Temporal Analysis of Fairness},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {163--173},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567462},
doi = {10.1145/567446.567462},
timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GabbayPSS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuttagH80,
author = {John V. Guttag and
James J. Horning},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Formal Specification as a Design Tool},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {251--261},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567471},
doi = {10.1145/567446.567471},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GuttagH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HolleyR80,
author = {L. Howard Holley and
Barry K. Rosen},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Qualified Data Flow Problems},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {68--82},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567454},
doi = {10.1145/567446.567454},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HolleyR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HuntR80,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Efficient Algorithms for Structural Similarity of Grammars},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {213--219},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567467},
doi = {10.1145/567446.567467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HuntR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kamin80,
author = {Samuel N. Kamin},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Final Data Tye Specifications: {A} New Data Type Specification Method},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {131--138},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567459},
doi = {10.1145/567446.567459},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kamin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KapurM80,
author = {Deepak Kapur and
Mandayam K. Srivas},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Expressiveness of the Operation Set of a Data Abstraction},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {139--153},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567460},
doi = {10.1145/567446.567460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KapurM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kfoury80,
author = {A. J. Kfoury},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Analysis of Simple Programs Over Different Sets of Primitives},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {56--61},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567452},
doi = {10.1145/567446.567452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kfoury80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Klint80,
author = {Paul Klint},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {An Overview of the Summer Programming Language},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {47--55},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567451},
doi = {10.1145/567446.567451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Klint80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lamport80,
author = {Leslie Lamport},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {174--185},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567463},
doi = {10.1145/567446.567463},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lamport80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MannaP80,
author = {Zohar Manna and
Amir Pnueli},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Synchronous Schemes and Their Decision Problems},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {62--67},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567453},
doi = {10.1145/567446.567453},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MannaP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerH80,
author = {Albert R. Meyer and
Joseph Y. Halpern},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Axiomatic Definitions of Programming Languages: {A} Theoretical Assessment},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {203--212},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567466},
doi = {10.1145/567446.567466},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MeyerH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MorrisSW80,
author = {James H. Morris Jr. and
Eric Schmidt and
Philip Wadler},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Experience with an Applicative String Processing Language},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {32--46},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567450},
doi = {10.1145/567446.567450},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MorrisSW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Musser80,
author = {David R. Musser},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {On Proving Inductive Properties of Abstract Data Types},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {154--162},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567461},
doi = {10.1145/567446.567461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Musser80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Parikh80,
author = {Rohit Parikh},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Propositional Logics of Programs: Systems, Models, and Complexity},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {186--192},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567464},
doi = {10.1145/567446.567464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Parikh80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pratt80,
author = {Vaughan R. Pratt},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {On Specifying Verifiers},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {106--116},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567457},
doi = {10.1145/567446.567457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pratt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Reid80,
author = {Brian K. Reid},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {A High-Level Approach to Computer Document Formatting},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {24--31},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567449},
doi = {10.1145/567446.567449},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Reid80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReifP80,
author = {John H. Reif and
Gary L. Peterson},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {A Dynamic Logic of Multiprocessing with Incomplete Information},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {193--202},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567465},
doi = {10.1145/567446.567465},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ReifP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Sethi80,
author = {Ravi Sethi},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {A Case Study in Specifying the Semantics of a Programming Language},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {117--130},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567458},
doi = {10.1145/567446.567458},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Sethi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Suzuki80,
author = {Norihisa Suzuki},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Analysis of Pointer Rotation},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {1--11},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567447},
doi = {10.1145/567446.567447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Suzuki80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Tarjan80,
author = {Robert Endre Tarjan},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Prime Subprogram Parsing of a Program},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {95--105},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567456},
doi = {10.1145/567446.567456},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Tarjan80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Weihl80,
author = {William E. Weihl},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure
Variables and Label Variables},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {83--94},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567455},
doi = {10.1145/567446.567455},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Weihl80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1980,
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
publisher = {{ACM} Press},
year = {1980},
url = {http://dl.acm.org/citation.cfm?id=567446},
isbn = {0-89791-011-7},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1980.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-11-13 16:34 CET 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:
