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/popl83.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AllenKPW83,
author = {John R. Allen and
Ken Kennedy and
Carrie Porterfield and
Joe D. Warren},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Conversion of Control Dependence to Data Dependence},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {177--189},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567085},
doi = {10.1145/567067.567085},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AllenKPW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BackMR83,
author = {Ralph{-}Johan Back and
Heikki Mannila and
Kari{-}Jouko R{\"{a}}ih{\"{a}}},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Derivation of Efficient {DAG} Marking Algorithms},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {20--27},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567071},
doi = {10.1145/567067.567071},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BackMR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BonarS83,
author = {Jeffrey Bonar and
Elliot Soloway},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Uncovering Principles of Novice Programming},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {10--13},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567069},
doi = {10.1145/567067.567069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BonarS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ClarkeES83,
author = {Edmund M. Clarke and
E. Allen Emerson and
A. Prasad Sistla},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Automatic Verification of Finite State Concurrent Systems Using Temporal
Logic Specifications: {A} Practical Approach},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {117--126},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567080},
doi = {10.1145/567067.567080},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ClarkeES83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CunyS83,
author = {Janice E. Cuny and
Lawrence Snyder},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Compilation of Data-Driven Programs for Synchronous Execution},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {197--202},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567087},
doi = {10.1145/567067.567087},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CunyS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DemersD83,
author = {Alan J. Demers and
James E. Donahue},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Making Variables Abstract: An Equational Theory for Russell},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {59--72},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567075},
doi = {10.1145/567067.567075},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DemersD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmersonH83,
author = {E. Allen Emerson and
Joseph Y. Halpern},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {"Sometimes" and "Not Never" Revisited: On Branching Versus Linear
Time},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {127--140},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567081},
doi = {10.1145/567067.567081},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/EmersonH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FerranteO83,
author = {Jeanne Ferrante and
Karl J. Ottenstein},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {A Program Form Based on Data Dependency in Predicate Regions},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {217--236},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567089},
doi = {10.1145/567067.567089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FerranteO83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Johnson83,
author = {Stephen C. Johnson},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Code Generation for Silicon},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {14--19},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567070},
doi = {10.1145/567067.567070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Johnson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kieburtz83,
author = {Richard B. Kieburtz},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Precise Typing of Abstract Data Type Specifications},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {109--116},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567079},
doi = {10.1145/567067.567079},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kieburtz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KristensenMMN83,
author = {Bent Bruun Kristensen and
Ole Lehrmann Madsen and
Birger M{\o}ller{-}Pedersen and
Kristen Nygaard},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Abstraction Mechanisms in the Beta Programming Language},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {285--298},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567094},
doi = {10.1145/567067.567094},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KristensenMMN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lamport83,
author = {Leslie Lamport},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Reasoning About Nonatomic Operations},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {28--37},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567072},
doi = {10.1145/567067.567072},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LampsonS83,
author = {Butler W. Lampson and
Eric E. Schmidt},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Practical Use of a Polymorphic Applicative Language},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {237--255},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567090},
doi = {10.1145/567067.567090},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LampsonS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Leivant83,
author = {Daniel Leivant},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Polymorphic Type Inference},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {88--98},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567077},
doi = {10.1145/567067.567077},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Leivant83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Leivant83a,
author = {Daniel Leivant},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Structural Semantics for Polymorphic Data Types},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {155--166},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567083},
doi = {10.1145/567067.567083},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Leivant83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lescanne83,
author = {Pierre Lescanne},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Computer Experiments with the Reve Term Rewriting System Generator},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {99--108},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567078},
doi = {10.1145/567067.567078},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lescanne83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MannaP83,
author = {Zohar Manna and
Amir Pnueli},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {How to Cook a Temporal Proof System for Your Pet Language},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {141--154},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567082},
doi = {10.1145/567067.567082},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MannaP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Meertens83,
author = {Lambert G. L. T. Meertens},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Incremental Polymorphic Type Checking in {B}},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {265--275},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567092},
doi = {10.1145/567067.567092},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Meertens83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Minsky83,
author = {Naftaly H. Minsky},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Locality in Software Systems},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {299--312},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567095},
doi = {10.1145/567067.567095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Minsky83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NagleJ83,
author = {John Nagle and
Scott Johnson},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Practical Program Verification: Automatic Program Proving for Real-Time
Embedded Software},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {48--58},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567074},
doi = {10.1145/567067.567074},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/NagleJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Nelson83,
author = {Greg Nelson},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Verifying Reachability Invariants of Linked Structures},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {38--47},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567073},
doi = {10.1145/567067.567073},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Nelson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Paige83,
author = {Robert Paige},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Transformational Programming - Applications to Algorithms and Systems},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {73--87},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567076},
doi = {10.1145/567067.567076},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Paige83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pratt83,
author = {Vaughan R. Pratt},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Five Paradigm Shifts in Language Design and their Realization in Viron,
a Dataflow Programming Environment},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {1--9},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567068},
doi = {10.1145/567067.567068},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pratt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ryder83,
author = {Barbara G. Ryder},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Incremental Data Flow Analysis},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {167--176},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567084},
doi = {10.1145/567067.567084},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Ryder83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Strom83,
author = {Robert E. Strom},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Mechanisms for Compile-Time Enforcement of Security},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {276--284},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567093},
doi = {10.1145/567067.567093},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Strom83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wand83,
author = {Mitchell Wand},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Loops in Combinator-Based Compilers},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {190--196},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567086},
doi = {10.1145/567067.567086},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wand83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wegman83,
author = {Mark N. Wegman},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Summarizing Graphs by Regular Expressions},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {203--216},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567088},
doi = {10.1145/567067.567088},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wegman83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Wegner83,
author = {Peter Wegner},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {On the Unification of Data and Program Abstraction in Ada},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {256--264},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567091},
doi = {10.1145/567067.567091},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Wegner83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1983,
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
publisher = {{ACM} Press},
year = {1983},
url = {http://dl.acm.org/citation.cfm?id=567067},
isbn = {0-89791-090-7},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1983.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-04-19 23:52 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:
