BibTeX records: Steve M. Shaner

• > Home > Persons > Steve M. Shaner

@inproceedings{DBLP:conf/esop/RajanTSL09,
  author       = {Hridesh Rajan and
                  Jia Tao and
                  Steve M. Shaner and
                  Gary T. Leavens},
  editor       = {Giuseppe Castagna},
  title        = {Tisa: {A} Language Design and Modular Verification Technique for Temporal
                  Policies in Web Services},
  booktitle    = {Programming Languages and Systems, 18th European Symposium on Programming,
                  {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5502},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00590-9\_24},
  doi          = {10.1007/978-3-642-00590-9\_24},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/RajanTSL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/ShanerLN07,
  author       = {Steve M. Shaner and
                  Gary T. Leavens and
                  David A. Naumann},
  editor       = {Richard P. Gabriel and
                  David F. Bacon and
                  Cristina Videira Lopes and
                  Guy L. Steele Jr.},
  title        = {Modular verification of higher-order methods with mandatory calls
                  specified by model programs},
  booktitle    = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
                  October 21-25, 2007, Montreal, Quebec, Canada},
  pages        = {351--368},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1297027.1297053},
  doi          = {10.1145/1297027.1297053},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/ShanerLN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}