Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/popl/Boehm82,
  author       = {Hans{-}Juergen Boehm},
  editor       = {Richard A. DeMillo},
  title        = {A Logic for Expressions with Side-Effects},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {268--280},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582182},
  doi          = {10.1145/582153.582182},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Boehm82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/BorningI82,
  author       = {Alan Borning and
                  Daniel H. H. Ingalls},
  editor       = {Richard A. DeMillo},
  title        = {A Type Declaration and Inference System for Smalltalk},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {133--141},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582168},
  doi          = {10.1145/582153.582168},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/BorningI82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ClarkeGH82,
  author       = {Edmund M. Clarke and
                  Steven M. German and
                  Joseph Y. Halpern},
  editor       = {Richard A. DeMillo},
  title        = {On Effective Axiomatizations of Hoare Logics},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {309--321},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582186},
  doi          = {10.1145/582153.582186},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ClarkeGH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Cooper82,
  author       = {Eric C. Cooper},
  editor       = {Richard A. DeMillo},
  title        = {On the Expressive Power of Query Languages for Relational Databases},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {361--365},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582190},
  doi          = {10.1145/582153.582190},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Cooper82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Critcher82,
  author       = {Adrienne Critcher},
  editor       = {Richard A. DeMillo},
  title        = {On the Ability of Structures to Store and Access Information},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {366--378},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582191},
  doi          = {10.1145/582153.582191},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Critcher82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/DamasM82,
  author       = {Lu{\'{\i}}s Damas and
                  Robin Milner},
  editor       = {Richard A. DeMillo},
  title        = {Principal Type-Schemes for Functional Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {207--212},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582176},
  doi          = {10.1145/582153.582176},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DamasM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/DavidsonF82,
  author       = {Jack W. Davidson and
                  Christopher W. Fraser},
  editor       = {Richard A. DeMillo},
  title        = {Eliminating Redundant Object Code},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {128--132},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582167},
  doi          = {10.1145/582153.582167},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DavidsonF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Farrow82,
  author       = {Rodney Farrow},
  editor       = {Richard A. DeMillo},
  title        = {Experience with an Attribute Grammar-Based Compiler},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {95--107},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582164},
  doi          = {10.1145/582153.582164},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Farrow82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Francez82,
  author       = {Nissim Francez},
  editor       = {Richard A. DeMillo},
  title        = {Extended Naming Conventions for Communicating Processes},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {40--45},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582158},
  doi          = {10.1145/582153.582158},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Francez82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/GanapathiF82,
  author       = {Mahadevan Ganapathi and
                  Charles N. Fischer},
  editor       = {Richard A. DeMillo},
  title        = {Description-Driven Code Generation using Attribute Grammars},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {108--119},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582165},
  doi          = {10.1145/582153.582165},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/GanapathiF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/GansnerHKMS82,
  author       = {E. Gansner and
                  Joseph R. Horgan and
                  Chandra M. R. Kintala and
                  D. J. Moore and
                  Pamela Surko},
  editor       = {Richard A. DeMillo},
  title        = {Semantics and Correctness of a Query Language Translation},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {289--298},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582184},
  doi          = {10.1145/582153.582184},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/GansnerHKMS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Giegerich82,
  author       = {Robert Giegerich},
  editor       = {Richard A. DeMillo},
  title        = {Automatic Generation of Machine Specific Code Optimizers},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {75--81},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582162},
  doi          = {10.1145/582153.582162},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Giegerich82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HailpernO82,
  author       = {Brent Hailpern and
                  Susan S. Owicki},
  editor       = {Richard A. DeMillo},
  title        = {Modular Verification of Concurrent Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {322--336},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582187},
  doi          = {10.1145/582153.582187},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HailpernO82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HartSP82,
  author       = {Sergiu Hart and
                  Micha Sharir and
                  Amir Pnueli},
  editor       = {Richard A. DeMillo},
  title        = {Termination of Probabilistic Concurrent Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {1--6},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582154},
  doi          = {10.1145/582153.582154},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HartSP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HennessyG82,
  author       = {John L. Hennessy and
                  Thomas R. Gross},
  editor       = {Richard A. DeMillo},
  title        = {Code Generation and Reorganization in the Presence of Pipeline Constraints},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {120--127},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582166},
  doi          = {10.1145/582153.582166},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HennessyG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Henson82,
  author       = {Martin C. Henson and
                  Raymond Turner},
  editor       = {Richard A. DeMillo},
  title        = {Completion Semantics, Interpreter Generation},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {242--254},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582180},
  doi          = {10.1145/582153.582180},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Henson82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/JaliliG82,
  author       = {Fahimeh Jalili and
                  Jean H. Gallier},
  editor       = {Richard A. DeMillo},
  title        = {Building Friendly Parsers},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {196--206},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582175},
  doi          = {10.1145/582153.582175},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JaliliG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/JohnsonF82,
  author       = {Gregory F. Johnson and
                  Charles N. Fischer},
  editor       = {Richard A. DeMillo},
  title        = {Non-Syntactic Attribute Flow in Language Based Editors},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {185--195},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582174},
  doi          = {10.1145/582153.582174},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JohnsonF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/JonesM82,
  author       = {Neil D. Jones and
                  Steven S. Muchnick},
  editor       = {Richard A. DeMillo},
  title        = {A Flexible Approach to Interprocedural Data Flow Analysis and Programs
                  with Recursive Data Structures},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {66--74},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582161},
  doi          = {10.1145/582153.582161},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/JonesM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Komorowski82,
  author       = {Henryk Jan Komorowski},
  editor       = {Richard A. DeMillo},
  title        = {Partial Evaluation as a Means for Inferencing Data Structures in an
                  Applicative Language: {A} Theory and Implementation in the Case of
                  Prolog},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {255--267},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582181},
  doi          = {10.1145/582153.582181},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Komorowski82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/LiptonSV82,
  author       = {Richard J. Lipton and
                  Robert Sedgewick and
                  Jacobo Valdes},
  editor       = {Richard A. DeMillo},
  title        = {Programming Aspects of {VLSI}},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {57--65},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582160},
  doi          = {10.1145/582153.582160},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/LiptonSV82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/LiskovS82,
  author       = {Barbara Liskov and
                  Robert Scheifler},
  editor       = {Richard A. DeMillo},
  title        = {Guardians and Actions: Linguistic Support for Robust, Distributed
                  Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {7--19},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582155},
  doi          = {10.1145/582153.582155},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/LiskovS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/MeyerM82,
  author       = {Albert R. Meyer and
                  John C. Mitchell},
  editor       = {Richard A. DeMillo},
  title        = {Axiomatic Definability and Completeness for Recursive Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {337--346},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582188},
  doi          = {10.1145/582153.582188},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/MeyerM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Paulson82,
  author       = {Lawrence C. Paulson},
  editor       = {Richard A. DeMillo},
  title        = {A Semantics-Directed Compiler Generator},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {224--233},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582178},
  doi          = {10.1145/582153.582178},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Paulson82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Pratt82,
  author       = {Vaughan R. Pratt},
  editor       = {Richard A. DeMillo},
  title        = {On the Composition of Processes},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {213--223},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582177},
  doi          = {10.1145/582153.582177},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Pratt82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/RamanathS82,
  author       = {M. V. S. Ramanath and
                  Marvin H. Solomon},
  editor       = {Richard A. DeMillo},
  title        = {Optimal Code for Control Structures},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {82--94},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582163},
  doi          = {10.1145/582153.582163},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/RamanathS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ReifS82,
  author       = {John H. Reif and
                  Paul G. Spirakis},
  editor       = {Richard A. DeMillo},
  title        = {Unbounded Speed Variability in Distributed Communication Systems},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {46--56},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582159},
  doi          = {10.1145/582153.582159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ReifS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Reps82,
  author       = {Thomas W. Reps},
  editor       = {Richard A. DeMillo},
  title        = {Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {169--176},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582172},
  doi          = {10.1145/582153.582172},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Reps82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Sandberg82,
  author       = {David W. Sandberg},
  editor       = {Richard A. DeMillo},
  title        = {Lithe: {A} Language Combining a Flexible Syntax, Classes},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {142--145},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582169},
  doi          = {10.1145/582153.582169},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Sandberg82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Sandewall82,
  author       = {Erik Sandewall},
  editor       = {Richard A. DeMillo},
  title        = {Unified Dialogue Management in the Carousel System},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {146--156},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582170},
  doi          = {10.1145/582153.582170},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Sandewall82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Shapiro82,
  author       = {Ehud Y. Shapiro},
  editor       = {Richard A. DeMillo},
  title        = {Algorithmic Program Diagnosis},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {299--308},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582185},
  doi          = {10.1145/582153.582185},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Shapiro82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/ShermanPH82,
  author       = {Rivi Sherman and
                  Amir Pnueli and
                  David Harel},
  editor       = {Richard A. DeMillo},
  title        = {Is the Interesting Part of Process Logic Uninteresting - {A} Translation
                  from {PL} to {PDL}},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {347--360},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582189},
  doi          = {10.1145/582153.582189},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/ShermanPH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/SippiS82,
  author       = {Seppo Sippu and
                  Eljas Soisalon{-}Soininen},
  editor       = {Richard A. DeMillo},
  title        = {Practical Error Recovery in {LR} Parsing},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {177--184},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582173},
  doi          = {10.1145/582153.582173},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/SippiS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Voda82,
  author       = {Paul J. Voda},
  editor       = {Richard A. DeMillo},
  title        = {Maple: a Programming Language, Operating System},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {157--168},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582171},
  doi          = {10.1145/582153.582171},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Voda82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Wall82,
  author       = {David W. Wall},
  editor       = {Richard A. DeMillo},
  title        = {Messages as Active Agents},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {34--39},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582157},
  doi          = {10.1145/582153.582157},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Wall82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Wand82,
  author       = {Mitchell Wand},
  editor       = {Richard A. DeMillo},
  title        = {Semantics-Directed Machine Architecture},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {234--241},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582179},
  doi          = {10.1145/582153.582179},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Wand82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Wolper82,
  author       = {Pierre Wolper},
  editor       = {Richard A. DeMillo},
  title        = {Specification and Synthesis of Communicating Processes using an Extended
                  Temporal Logic},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {20--33},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582156},
  doi          = {10.1145/582153.582156},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Wolper82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Yemeni82,
  author       = {Shaula Yemini},
  editor       = {Richard A. DeMillo},
  title        = {An Axiomatic Treatment of Exception Handling},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {281--288},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582183},
  doi          = {10.1145/582153.582183},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Yemeni82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/popl/82,
  editor       = {Richard A. DeMillo},
  title        = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {http://dl.acm.org/citation.cfm?id=582153},
  isbn         = {0-89791-065-6},
  timestamp    = {Mon, 21 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/82.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.