Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BragaF14,
  author       = {Christiano Braga and
                  Jos{\'{e}} Luiz Fiadeiro},
  title        = {Brazilian Symposium on Programming Languages {(SBLP} 2011)},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {1--2},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.01.001},
  doi          = {10.1016/J.SCICO.2014.01.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BragaF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CacheraJJK14,
  author       = {David Cachera and
                  Thomas P. Jensen and
                  Arnaud Jobin and
                  Florent Kirchner},
  title        = {Inference of polynomial invariants for imperative programs: {A} farewell
                  to Gr{\"{o}}bner bases},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {89--109},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.028},
  doi          = {10.1016/J.SCICO.2014.02.028},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CacheraJJK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FerreiraGFM14,
  author       = {Gabriel Coutinho Sousa Ferreira and
                  Felipe Nunes Gaia and
                  Eduardo Figueiredo and
                  Marcelo de Almeida Maia},
  title        = {On the use of feature-oriented programming for evolving software product
                  lines - {A} comparative study},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {65--85},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.10.010},
  doi          = {10.1016/J.SCICO.2013.10.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FerreiraGFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GonnordS14,
  author       = {Laure Gonnord and
                  Peter Schrammel},
  title        = {Abstract acceleration in linear relation analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {125--153},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.016},
  doi          = {10.1016/J.SCICO.2013.09.016},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GonnordS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GrovW14,
  author       = {Gudmund Grov and
                  Thomas Wies},
  title        = {Preface - Invariant Generation},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {87--88},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.05.010},
  doi          = {10.1016/J.SCICO.2014.05.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrovW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Kfoury14,
  author       = {Assaf J. Kfoury},
  title        = {The syntax and semantics of a domain-specific language for flow-network
                  design},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {19--38},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.12.009},
  doi          = {10.1016/J.SCICO.2012.12.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Kfoury14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MedeirosMI14,
  author       = {S{\'{e}}rgio Medeiros and
                  Fabio Mascarenhas and
                  Roberto Ierusalimschy},
  title        = {From regexes to parsing expression grammars},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {3--18},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2012.11.006},
  doi          = {10.1016/J.SCICO.2012.11.006},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MedeirosMI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Mine14,
  author       = {Antoine Min{\'{e}}},
  title        = {Backward under-approximations in numeric abstract domains to automatically
                  infer sufficient program conditions},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {154--182},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.09.014},
  doi          = {10.1016/J.SCICO.2013.09.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Mine14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MongioviGSTB14,
  author       = {Melina Mongiovi and
                  Rohit Gheyi and
                  Gustavo Soares and
                  Leopoldo Teixeira and
                  Paulo Borba},
  title        = {Making refactoring safer through impact analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {39--64},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2013.11.001},
  doi          = {10.1016/J.SCICO.2013.11.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MongioviGSTB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SridharWH14,
  author       = {Meera Sridhar and
                  Richard Wartell and
                  Kevin W. Hamlen},
  title        = {Hippocratic binary instrumentation: First do no harm},
  journal      = {Sci. Comput. Program.},
  volume       = {93},
  pages        = {110--124},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.024},
  doi          = {10.1016/J.SCICO.2014.02.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SridharWH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}