Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AntoniolKT06,
  author       = {Giuliano Antoniol and
                  Jens Krinke and
                  Paolo Tonella},
  title        = {Special issue on Source code analysis and manipulation},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {3},
  pages        = {205--208},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.04.009},
  doi          = {10.1016/J.SCICO.2006.04.009},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AntoniolKT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BinkleyDGHKK06,
  author       = {David W. Binkley and
                  Sebastian Danicic and
                  Tibor Gyim{\'{o}}thy and
                  Mark Harman and
                  {\'{A}}kos Kiss and
                  Bogdan Korel},
  title        = {A formalisation of the relationship between forms of program slicing},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {3},
  pages        = {228--252},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.04.007},
  doi          = {10.1016/J.SCICO.2006.04.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BinkleyDGHKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Carette06,
  author       = {Jacques Carette},
  title        = {Gaussian Elimination: {A} case study in efficient genericity with
                  MetaOCaml},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {3--24},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.10.012},
  doi          = {10.1016/J.SCICO.2005.10.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Carette06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ClingerR06,
  author       = {William D. Clinger and
                  Fabio V. Rojas},
  title        = {Linear combinations of radioactive decay models for generational garbage
                  collection},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {184--203},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.005},
  doi          = {10.1016/J.SCICO.2006.02.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClingerR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CohenDGHKP06,
  author       = {Albert Cohen and
                  S{\'{e}}bastien Donadio and
                  Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
                  Christoph Armin Herrmann and
                  Oleg Kiselyov and
                  David A. Padua},
  title        = {In search of a program generator to implement generic transformations
                  for high-performance computing},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {25--46},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.10.013},
  doi          = {10.1016/J.SCICO.2005.10.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CohenDGHKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HerrmannL06,
  author       = {Christoph Armin Herrmann and
                  Tobias Langhammer},
  title        = {Combining partial evaluation and staged interpretation in the implementation
                  of domain-specific languages},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {47--65},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.002},
  doi          = {10.1016/J.SCICO.2006.02.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HerrmannL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Jones06,
  author       = {Richard E. Jones},
  title        = {Five perspectives on modern memory management: Systems, hardware and
                  theory},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {95--97},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.003},
  doi          = {10.1016/J.SCICO.2006.05.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Jones06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/League06,
  author       = {Christopher League},
  title        = {MetaOCaml server pages: Web publishing as staged computation},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {66--84},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.004},
  doi          = {10.1016/J.SCICO.2006.05.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/League06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LengauerT06,
  author       = {Christian Lengauer and
                  Walid Taha},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {1--2},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.001},
  doi          = {10.1016/J.SCICO.2006.05.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LengauerT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MullerPL06,
  author       = {Peter M{\"{u}}ller and
                  Arnd Poetzsch{-}Heffter and
                  Gary T. Leavens},
  title        = {Modular invariants for layered object structures},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {3},
  pages        = {253--286},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.03.001},
  doi          = {10.1016/J.SCICO.2006.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MullerPL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NeverovR06,
  author       = {Gregory Neverov and
                  Paul Roe},
  title        = {Experiences with an object-oriented, multi-stage language},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {1},
  pages        = {85--94},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.002},
  doi          = {10.1016/J.SCICO.2006.05.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NeverovR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Printezis06,
  author       = {Tony Printezis},
  title        = {On measuring garbage collection responsiveness},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {164--183},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.004},
  doi          = {10.1016/J.SCICO.2006.02.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Printezis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SagonasW06,
  author       = {Konstantinos Sagonas and
                  Jesper Wilhelmsson},
  title        = {Efficient memory management for concurrent programs that use message
                  passing},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {98--121},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.006},
  doi          = {10.1016/J.SCICO.2006.02.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SagonasW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SwamyHMGJ06,
  author       = {Nikhil Swamy and
                  Michael W. Hicks and
                  Greg Morrisett and
                  Dan Grossman and
                  Trevor Jim},
  title        = {Safe manual memory management in Cyclone},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {122--144},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.003},
  doi          = {10.1016/J.SCICO.2006.02.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SwamyHMGJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Veerman06,
  author       = {Niels P. Veerman},
  title        = {Automated mass maintenance of a software portfolio},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {3},
  pages        = {287--317},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.04.006},
  doi          = {10.1016/J.SCICO.2006.04.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Veerman06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WrightSW06,
  author       = {Greg Wright and
                  Matthew L. Seidl and
                  Mario Wolczko},
  title        = {An object-aware memory architecture},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {2},
  pages        = {145--163},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.007},
  doi          = {10.1016/J.SCICO.2006.02.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WrightSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangBCD06,
  author       = {Hongyu Zhang and
                  Jeremy S. Bradbury and
                  James R. Cordy and
                  J{\"{u}}rgen Dingel},
  title        = {Using source transformation to test and model check implicit-invocation
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {62},
  number       = {3},
  pages        = {209--227},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.04.008},
  doi          = {10.1016/J.SCICO.2006.04.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ZhangBCD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics