Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl81.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AlbergaBLMW81,
author = {Cyril N. Alberga and
Allen L. Brown and
George B. Leeman Jr. and
Martin Mikelsons and
Mark N. Wegman},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {A Program Development Tool},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {92--104},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567543},
doi = {10.1145/567532.567543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AlbergaBLMW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ben-AriMP81,
author = {Mordechai Ben{-}Ari and
Zohar Manna and
Amir Pnueli},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {The Temporal Logic of Branching Time},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {164--176},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567551},
doi = {10.1145/567532.567551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Ben-AriMP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Cartwright81,
author = {Robert Cartwright},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Formal Program Testing},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {125--132},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567546},
doi = {10.1145/567532.567546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Cartwright81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CartwrightHM81,
author = {Robert Cartwright and
Robert Hood and
Philip Mathews},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Paths: An Abstract Alternative to Pointers},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {14--27},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567534},
doi = {10.1145/567532.567534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CartwrightHM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chandra81,
author = {Ashok K. Chandra},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Programming Primitives for Database Languages},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {50--62},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567537},
doi = {10.1145/567532.567537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Chandra81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Condry81,
author = {Michael W. Condry},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Paging as a "Language Processing" Task},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {63--76},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567538},
doi = {10.1145/567532.567538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Condry81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemersRT81,
author = {Alan J. Demers and
Thomas W. Reps and
Tim Teitelbaum},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Incremental Evaluation for Attribute Grammars with Application to
Syntax-Directed Editors},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {105--116},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567544},
doi = {10.1145/567532.567544},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DemersRT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HalpernM81,
author = {Joseph Y. Halpern and
Albert R. Meyer},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Axiomatic Definitions of Programming Languages, {II}},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {139--148},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567548},
doi = {10.1145/567532.567548},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HalpernM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Harrison81,
author = {William H. Harrison},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Position Paper on Optimizing Compilers},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {88--89},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567541},
doi = {10.1145/567532.567541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Harrison81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Hennessy81,
author = {John L. Hennessy},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Program Optimization and Exception Handling},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {200--206},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567554},
doi = {10.1145/567532.567554},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Hennessy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Johnson81,
author = {Stephen C. Johnson},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Position Paper on Optimizing Compilers},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {90--91},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567542},
doi = {10.1145/567532.567542},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Johnson81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KatayamaH81,
author = {Takuya Katayama and
Yutaka Hoshino},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Verification of Attribute Grammars},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {177--186},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567552},
doi = {10.1145/567532.567552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KatayamaH81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KuckKPLW81,
author = {David J. Kuck and
Robert H. Kuhn and
David A. Padua and
Bruce Leasure and
Michael Wolfe},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Dependence Graphs and Compiler Optimizations},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {207--218},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567555},
doi = {10.1145/567532.567555},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KuckKPLW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LehmannR81,
author = {Daniel Lehmann and
Michael O. Rabin},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {On the Advantages of Free Choice: {A} Symmetric and Fully Distributed
Solution to the Dining Philosophers Problem},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {133--138},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567547},
doi = {10.1145/567532.567547},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LehmannR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lowney81,
author = {P. Geoffrey Lowney},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Carrier Arrays: An Idiom-Preserving Extension to {APL}},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {1--13},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567533},
doi = {10.1145/567532.567533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lowney81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Myers81,
author = {Eugene W. Myers},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {A Precise Interprocedural Data Flow Algorithm},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {219--230},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567556},
doi = {10.1145/567532.567556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Myers81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Owicki81,
author = {Susan S. Owicki},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Making the World Safe for Garbage Collection},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {77--86},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567539},
doi = {10.1145/567532.567539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Owicki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Polak81,
author = {Wolfgang Polak},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Program Verification Based on Denotational Semantics},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {149--158},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567549},
doi = {10.1145/567532.567549},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Polak81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pratt81,
author = {Vaughan R. Pratt},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Program Logic Without Binding is Decidable},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {159--163},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567550},
doi = {10.1145/567532.567550},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pratt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RamanathanS81,
author = {Jay Ramanathan and
Charley J. Shubra},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Modeling of Problem Domains for Driving Program Development Systems},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {28--40},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567535},
doi = {10.1145/567532.567535},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RamanathanS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Rosen81,
author = {Barry K. Rosen},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Linear Cost is Sometimes Quadratic},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {117--124},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567545},
doi = {10.1145/567532.567545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Rosen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Scherlis81,
author = {William L. Scherlis},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Program Improvement by Internal Specialization},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {41--49},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567536},
doi = {10.1145/567532.567536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Scherlis81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Suzuki81,
author = {Norihisa Suzuki},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Inferring Types in Smalltalk},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {187--199},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567553},
doi = {10.1145/567532.567553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Suzuki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/81,
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
publisher = {{ACM} Press},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=567532},
isbn = {0-89791-029-X},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-30 08:53 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:
