BibTeX records: Richard J. Orgass

download as .bib file

@article{DBLP:journals/spe/Orgass81,
  author    = {Richard J. Orgass},
  title     = {Files in an Interactive Environment},
  journal   = {Softw. Pract. Exp.},
  volume    = {11},
  number    = {12},
  pages     = {1265--1271},
  year      = {1981},
  url       = {https://doi.org/10.1002/spe.4380111204},
  doi       = {10.1002/spe.4380111204},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/Orgass81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apl/1981,
  editor    = {Richard J. Orgass and
               William L. Anderson and
               David G. Smith},
  title     = {Proceedings of the international conference on APL, {APL} 1981, San
               Francisco, California, USA, October 21-23, 1981},
  publisher = {{ACM}},
  year      = {1981},
  url       = {https://doi.org/10.1145/800142},
  doi       = {10.1145/800142},
  isbn      = {978-0-89791-035-4},
  timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apl/1981.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BrittonMO77,
  author    = {Dianne E. Britton and
               Ralph B. McLaughlin and
               Richard J. Orgass},
  title     = {A note concerning intermittent assertions},
  journal   = {{SIGACT} News},
  volume    = {9},
  number    = {2},
  pages     = {30--35},
  year      = {1977},
  url       = {https://doi.org/10.1145/1008354.1008357},
  doi       = {10.1145/1008354.1008357},
  timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigact/BrittonMO77.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apl/Orgass76,
  author    = {Richard J. Orgass},
  editor    = {G. Truman Hunter},
  title     = {Toward a primitive recursive semantics for {APL}},
  booktitle = {Proceedings of the eighth international conference on APL, {APL} 1976,
               Ottawa, Canada, September 22-24, 1976},
  pages     = {314--320},
  publisher = {{ACM}},
  year      = {1976},
  url       = {https://doi.org/10.1145/800114.803693},
  doi       = {10.1145/800114.803693},
  timestamp = {Tue, 22 Jun 2021 15:09:27 +0200},
  biburl    = {https://dblp.org/rec/conf/apl/Orgass76.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigapl/GerhartO74,
  author    = {Susan L. Gerhart and
               Richard J. Orgass},
  title     = {A proposal for a handbook for {APL} program verification},
  journal   = {{ACM} {SIGAPL} {APL} Quote Quad},
  volume    = {5},
  number    = {4},
  pages     = {79--86},
  year      = {1974},
  url       = {https://doi.org/10.1145/585882.585899},
  doi       = {10.1145/585882.585899},
  timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigapl/GerhartO74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ParsonsOT72,
  author    = {Charles D. Parsons and
               Richard J. Orgass and
               Richmond H. Thomason},
  title     = {Meeting of the Association for Symbolic Logic},
  journal   = {J. Symb. Log.},
  volume    = {37},
  number    = {2},
  pages     = {430--447},
  year      = {1972},
  url       = {https://doi.org/10.2307/2273026},
  doi       = {10.2307/2273026},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsyml/ParsonsOT72.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Orgass70,
  author    = {Richard J. Orgass},
  title     = {Some Results Concerning Proofs of Statements about Programs},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {4},
  number    = {1},
  pages     = {74--88},
  year      = {1970},
  url       = {https://doi.org/10.1016/S0022-0000(70)80013-7},
  doi       = {10.1016/S0022-0000(70)80013-7},
  timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jcss/Orgass70.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/OrgassW69,
  author    = {Richard J. Orgass and
               William M. Waite},
  title     = {A base for a mobile programming system},
  journal   = {Commun. {ACM}},
  volume    = {12},
  number    = {9},
  pages     = {507--510},
  year      = {1969},
  url       = {https://doi.org/10.1145/363219.363226},
  doi       = {10.1145/363219.363226},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cacm/OrgassW69.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics