Search dblp for Publications

export results for "toc:db/journals/scp/scp92.bht:"

 download as .bib file

@article{DBLP:journals/scp/AlbertAGPR14,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Germ{\'{a}}n Puebla and
                  Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
  title        = {Conditional termination of loops over heap-allocated data},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {2--24},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.04.006},
  doi          = {10.1016/J.SCICO.2013.04.006},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AlbertAGPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BrabermanGHY14,
  author       = {V{\'{\i}}ctor A. Braberman and
                  Diego Garbervetsky and
                  Samuel Hym and
                  Sergio Yovine},
  title        = {Summary-based inference of quantitative bounds of live heap objects},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {56--84},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.036},
  doi          = {10.1016/J.SCICO.2013.11.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BrabermanGHY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BragaSS14,
  author       = {Christiano Braga and
                  Cassio Santos and
                  Viviane Torres da Silva},
  title        = {Consistency of model transformation contracts},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {86--104},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.08.013},
  doi          = {10.1016/J.SCICO.2013.08.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BragaSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ButtnerG14,
  author       = {Fabian B{\"{u}}ttner and
                  Martin Gogolla},
  title        = {On OCL-based imperative languages},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {162--178},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.10.003},
  doi          = {10.1016/J.SCICO.2013.10.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ButtnerG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DiasI14,
  author       = {Diego Machado Dias and
                  Juliano Iyoda},
  title        = {Compositionality and correctness of fault tolerant patterns in {HOL4}},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {105--128},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.009},
  doi          = {10.1016/J.SCICO.2013.07.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DiasI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Huisman14,
  author       = {Marieke Huisman},
  title        = {{SCP} special issue on Bytecode 2012 - Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {1},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.003},
  doi          = {10.1016/J.SCICO.2014.02.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Huisman14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Preoteasa14,
  author       = {Viorel Preoteasa},
  title        = {Refinement algebra with dual operator},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {179--210},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.002},
  doi          = {10.1016/J.SCICO.2013.07.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Preoteasa14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RochaM14,
  author       = {Camilo Rocha and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Synchronous set relations in rewriting logic},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {211--228},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.07.008},
  doi          = {10.1016/J.SCICO.2013.07.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RochaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SimaoM14,
  author       = {Adenilso da Silva Sim{\~{a}}o and
                  Carroll Morgan},
  title        = {Selected papers from the Brazilian Symposium on Formal Methods {(SBMF}
                  2011)},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {85},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.004},
  doi          = {10.1016/J.SCICO.2014.02.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SimaoM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WelschP14,
  author       = {Yannick Welsch and
                  Arnd Poetzsch{-}Heffter},
  title        = {A fully abstract trace-based semantics for reasoning about backward
                  compatibility of class libraries},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {129--161},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.10.002},
  doi          = {10.1016/J.SCICO.2013.10.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WelschP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WognsenKOH14,
  author       = {Erik Ramsgaard Wognsen and
                  Henrik S{\o}ndberg Karlsen and
                  Mads Chr. Olesen and
                  Ren{\'{e}} Rydhof Hansen},
  title        = {Formalisation and analysis of Dalvik bytecode},
  journal      = {Sci. Comput. Program.},
  volume       = {92},
  pages        = {25--55},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.037},
  doi          = {10.1016/J.SCICO.2013.11.037},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/WognsenKOH14.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.