Search dblp for Publications

export results for "toc:db/conf/ldrs/ldrs77.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ldrs/Ambler77,
  author       = {Allen L. Ambler},
  editor       = {David B. Wortman},
  title        = {{GYPSY:} {A} Language for Specification and Implementation of Verifiable
                  Programs},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808306},
  doi          = {10.1145/800022.808306},
  timestamp    = {Wed, 23 Feb 2022 15:57:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/Ambler77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/AmblerH77,
  author       = {Allen L. Ambler and
                  Charles G. Hoch},
  editor       = {David B. Wortman},
  title        = {A Study of Protection in Programming Languages},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {25--40},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808309},
  doi          = {10.1145/800022.808309},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/AmblerH77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/AndrewsM77,
  author       = {Gregory R. Andrews and
                  James R. McGraw},
  editor       = {David B. Wortman},
  title        = {Language Features for Process Interaction},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {114--127},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808318},
  doi          = {10.1145/800022.808318},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/AndrewsM77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/Buckle77,
  author       = {Normand Buckle},
  editor       = {David B. Wortman},
  title        = {Restricted Data Types, Specification and Enforcement of Invariant
                  Properties of Variables},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {68--76},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808313},
  doi          = {10.1145/800022.808313},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ldrs/Buckle77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/CousotC77,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  editor       = {David B. Wortman},
  title        = {Static Determination of Dynamic Properties of Generalized Type Unions},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {77--94},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808314},
  doi          = {10.1145/800022.808314},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/CousotC77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/FischerL77,
  author       = {Charles N. Fischer and
                  Richard J. LeBlanc},
  editor       = {David B. Wortman},
  title        = {Efficient Implementation and Optimization of Run-Time Checking in
                  Pascal},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808308},
  doi          = {10.1145/800022.808308},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/FischerL77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/FriedmanW77,
  author       = {Daniel P. Friedman and
                  David S. Wise},
  editor       = {David B. Wortman},
  title        = {Aspects of Applicative Programming for File Systems (Preliminary Version)},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {41--55},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808310},
  doi          = {10.1145/800022.808310},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/FriedmanW77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/GuttagHM77,
  author       = {John V. Guttag and
                  Ellis Horowitz and
                  David R. Musser},
  editor       = {David B. Wortman},
  title        = {Some Extensions to Algebraic Specifications},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {63--67},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808312},
  doi          = {10.1145/800022.808312},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/GuttagHM77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/Herriot77,
  author       = {Robert G. Herriot},
  editor       = {David B. Wortman},
  title        = {Towards the Ideal Programming Language},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {56--62},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808311},
  doi          = {10.1145/800022.808311},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/Herriot77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/Lomet77,
  author       = {David B. Lomet},
  editor       = {David B. Wortman},
  title        = {Process Structuring, Synchronization, and Recovery Using Atomic Actions},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {128--137},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808319},
  doi          = {10.1145/800022.808319},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ldrs/Lomet77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/Love77,
  author       = {Tom Love},
  editor       = {David B. Wortman},
  title        = {An Experimental Investigation of the Effect of Program Structure on
                  Program Understanding},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {105--113},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808317},
  doi          = {10.1145/800022.808317},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/Love77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/MacLaren77,
  author       = {M. Donald MacLaren},
  editor       = {David B. Wortman},
  title        = {Exception Handling in {PL/I}},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {101--104},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808316},
  doi          = {10.1145/800022.808316},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/MacLaren77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/Melliar-SmithR77,
  author       = {P. M. Melliar{-}Smith and
                  Brian Randell},
  editor       = {David B. Wortman},
  title        = {Software Reliability: The Role of Programmed Exception Handling},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {95--100},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808315},
  doi          = {10.1145/800022.808315},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/Melliar-SmithR77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ldrs/PopekHLML77,
  author       = {Gerald J. Popek and
                  James J. Horning and
                  Butler W. Lampson and
                  James G. Mitchell and
                  Ralph L. London},
  editor       = {David B. Wortman},
  title        = {Notes on the Design of Euclid},
  booktitle    = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  pages        = {11--18},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022.808307},
  doi          = {10.1145/800022.808307},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/PopekHLML77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ldrs/1977,
  editor       = {David B. Wortman},
  title        = {Proceedings of an {ACM} Conference on Language Design for Reliable
                  Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800022},
  doi          = {10.1145/800022},
  isbn         = {978-1-4503-7380-7},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldrs/1977.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.