BibTeX records: Stephan van Staden

download as .bib file

@article{DBLP:journals/jlp/HoareSMSZ16,
  author       = {Tony Hoare and
                  Stephan van Staden and
                  Bernhard M{\"{o}}ller and
                  Georg Struth and
                  Huibiao Zhu},
  title        = {Developments in concurrent Kleene algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {4},
  pages        = {617--636},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.09.012},
  doi          = {10.1016/J.JLAMP.2015.09.012},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/HoareSMSZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Staden15,
  author       = {Stephan van Staden},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {On Rely-Guarantee Reasoning},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {30--49},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_2},
  doi          = {10.1007/978-3-319-19797-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Staden15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HoareS14,
  author       = {Tony Hoare and
                  Stephan van Staden},
  title        = {The laws of programming unify process calculi},
  journal      = {Sci. Comput. Program.},
  volume       = {85},
  pages        = {102--114},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.08.012},
  doi          = {10.1016/J.SCICO.2013.08.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HoareS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/HoareSMSVZO14,
  author       = {Tony Hoare and
                  Stephan van Staden and
                  Bernhard M{\"{o}}ller and
                  Georg Struth and
                  Jules Villard and
                  Huibiao Zhu and
                  Peter W. O'Hearn},
  editor       = {Peter H{\"{o}}fner and
                  Peter Jipsen and
                  Wolfram Kahl and
                  Martin Eric M{\"{u}}ller},
  title        = {Developments in Concurrent Kleene Algebra},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 14th International
                  Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8428},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06251-8\_1},
  doi          = {10.1007/978-3-319-06251-8\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HoareSMSVZO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/utp/Staden14,
  author       = {Stephan van Staden},
  editor       = {David A. Naumann},
  title        = {Constructing the Views Framework},
  booktitle    = {Unifying Theories of Programming - 5th International Symposium, {UTP}
                  2014, Singapore, May 13, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8963},
  pages        = {62--83},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-14806-9\_4},
  doi          = {10.1007/978-3-319-14806-9\_4},
  timestamp    = {Tue, 21 Mar 2023 21:03:09 +0100},
  biburl       = {https://dblp.org/rec/conf/utp/Staden14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Staden13,
  author       = {Stephan van Staden},
  title        = {Enhancing separation logic for object-orientation},
  school       = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
  year         = {2013},
  url          = {https://hdl.handle.net/20.500.11850/69011},
  doi          = {10.3929/ETHZ-A-009908413},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Staden13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HoareS12,
  author       = {Tony Hoare and
                  Stephan van Staden},
  title        = {In praise of algebra},
  journal      = {Formal Aspects Comput.},
  volume       = {24},
  number       = {4-6},
  pages        = {423--431},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00165-012-0249-0},
  doi          = {10.1007/S00165-012-0249-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HoareS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HoareS12,
  author       = {Tony Hoare and
                  Stephan van Staden},
  editor       = {Jeremy Gibbons and
                  Pablo Nogueira},
  title        = {The Laws of Programming Unify Process Calculi},
  booktitle    = {Mathematics of Program Construction - 11th International Conference,
                  {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7342},
  pages        = {7--22},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31113-0\_2},
  doi          = {10.1007/978-3-642-31113-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HoareS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/StadenCM12,
  author       = {Stephan van Staden and
                  Cristiano Calcagno and
                  Bertrand Meyer},
  editor       = {John Field and
                  Michael Hicks},
  title        = {Freefinement},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
                  USA, January 22-28, 2012},
  pages        = {7--18},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103656.2103661},
  doi          = {10.1145/2103656.2103661},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/StadenCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/utp/StadenH12,
  author       = {Stephan van Staden and
                  Tony Hoare},
  editor       = {Burkhart Wolff and
                  Marie{-}Claude Gaudel and
                  Abderrahmane Feliachi},
  title        = {Algebra Unifies Operational Calculi},
  booktitle    = {Unifying Theories of Programming, 4th International Symposium, {UTP}
                  2012, Paris, France, August 27-28, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7681},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35705-3\_4},
  doi          = {10.1007/978-3-642-35705-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/utp/StadenH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1209-2012,
  author       = {Stephan van Staden},
  title        = {A Framework for Concurrent Imperative Programming},
  journal      = {CoRR},
  volume       = {abs/1209.2012},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.2012},
  eprinttype    = {arXiv},
  eprint       = {1209.2012},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/StadenCM10,
  author       = {Stephan van Staden and
                  Cristiano Calcagno and
                  Bertrand Meyer},
  editor       = {Theo D'Hondt},
  title        = {Verifying Executable Object-Oriented Specifications with Separation
                  Logic},
  booktitle    = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
                  Maribor, Slovenia, June 21-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6183},
  pages        = {151--174},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14107-2\_8},
  doi          = {10.1007/978-3-642-14107-2\_8},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/StadenCM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/StadenC10,
  author       = {Stephan van Staden and
                  Cristiano Calcagno},
  editor       = {William R. Cook and
                  Siobh{\'{a}}n Clarke and
                  Martin C. Rinard},
  title        = {Reasoning about multiple related abstractions with MultiStar},
  booktitle    = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
                  October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages        = {504--519},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869459.1869501},
  doi          = {10.1145/1869459.1869501},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/StadenC10.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.