Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/BorbaSCC04,
  author       = {Paulo Borba and
                  Augusto Sampaio and
                  Ana Cavalcanti and
                  M{\'{a}}rcio Corn{\'{e}}lio},
  title        = {Algebraic reasoning for object-oriented programming},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {53--100},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.003},
  doi          = {10.1016/J.SCICO.2004.03.003},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BorbaSCC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ConselLM04,
  author       = {Charles Consel and
                  Julia L. Lawall and
                  Anne{-}Fran{\c{c}}oise Le Meur},
  title        = {A tour of Tempo: a program specializer for the {C} language},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {341--370},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.011},
  doi          = {10.1016/J.SCICO.2004.03.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ConselLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/EngelenWY04,
  author       = {Robert van Engelen and
                  David B. Whalley and
                  Xin Yuan},
  title        = {Automatic validation of code-improving transformations on low-level
                  program representations},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {257--280},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.008},
  doi          = {10.1016/J.SCICO.2004.03.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/EngelenWY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ErwigR04,
  author       = {Martin Erwig and
                  Deling Ren},
  title        = {Monadification of functional programs},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {101--129},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.004},
  doi          = {10.1016/J.SCICO.2004.03.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ErwigR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GlewP04,
  author       = {Neal Glew and
                  Jens Palsberg},
  title        = {Type-safe method inlining},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {281--306},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.009},
  doi          = {10.1016/J.SCICO.2004.03.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GlewP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Jones04,
  author       = {Neil D. Jones},
  title        = {Transformation by interpreter specialisation},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {307--339},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.010},
  doi          = {10.1016/J.SCICO.2004.03.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Jones04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KnieselK04,
  author       = {G{\"{u}}nter Kniesel and
                  Helge Koch},
  title        = {Static composition of refactorings},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {9--51},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.002},
  doi          = {10.1016/J.SCICO.2004.03.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KnieselK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Lammel04,
  author       = {Ralf L{\"{a}}mmel},
  title        = {Transformations everywhere},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {1--8},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.001},
  doi          = {10.1016/J.SCICO.2004.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Lammel04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ward04,
  author       = {Martin P. Ward},
  title        = {Pigs from sausages? Reengineering from assembler to {C} via FermaT
                  transformations},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {213--255},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.007},
  doi          = {10.1016/J.SCICO.2004.03.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Ward04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/WinterS04,
  author       = {Victor L. Winter and
                  Mahadevan Subramaniam},
  title        = {The transient combinator, higher-order strategies, and the distributed
                  data problem},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {165--212},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.006},
  doi          = {10.1016/J.SCICO.2004.03.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WinterS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Zdun04,
  author       = {Uwe Zdun},
  title        = {Supporting incremental and experimental software evolution by runtime
                  method transformations},
  journal      = {Sci. Comput. Program.},
  volume       = {52},
  pages        = {131--163},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.scico.2004.03.005},
  doi          = {10.1016/J.SCICO.2004.03.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Zdun04.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.