Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/HondaYB14,
  author       = {Kohei Honda and
                  Nobuko Yoshida and
                  Martin Berger},
  title        = {An observationally complete program logic for imperative higher-order
                  functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {517},
  pages        = {75--101},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.11.003},
  doi          = {10.1016/J.TCS.2013.11.003},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HondaYB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RoweB14,
  author       = {Reuben N. S. Rowe and
                  Steffen van Bakel},
  title        = {Semantic Types and Approximation for Featherweight Java},
  journal      = {Theor. Comput. Sci.},
  volume       = {517},
  pages        = {34--74},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.017},
  doi          = {10.1016/J.TCS.2013.08.017},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RoweB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TschaikowskiT14,
  author       = {Max Tschaikowski and
                  Mirco Tribastone},
  title        = {Tackling continuous state-space explosion in a Markovian process algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {517},
  pages        = {1--33},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.08.016},
  doi          = {10.1016/J.TCS.2013.08.016},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/TschaikowskiT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Tutu14,
  author       = {Ionut Tutu},
  title        = {Parameterisation for abstract structured specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {517},
  pages        = {102--142},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.11.008},
  doi          = {10.1016/J.TCS.2013.11.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Tutu14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}