Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AmtoftB07,
  author       = {Torben Amtoft and
                  Anindya Banerjee},
  title        = {A logic for information flow analysis with an application to forward
                  slicing of simple imperative programs},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {3--28},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.002},
  doi          = {10.1016/J.SCICO.2006.03.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AmtoftB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BergstraK07,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  title        = {About "trivial" software patents: The IsNot case},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {264--285},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.09.003},
  doi          = {10.1016/J.SCICO.2006.09.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Broy07,
  author       = {Manfred Broy},
  title        = {Editorial comment to 'About "trivial" software patents: The IsNot
                  case'},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {263},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.09.004},
  doi          = {10.1016/J.SCICO.2006.09.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Broy07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BurgessR07,
  author       = {Mark Burgess and
                  Trond Reitan},
  title        = {A risk analysis of disk backup or repository maintenance},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {312--331},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.003},
  doi          = {10.1016/J.SCICO.2006.06.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BurgessR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ClarisoC07,
  author       = {Robert Claris{\'{o}} and
                  Jordi Cortadella},
  title        = {The octahedron abstract domain},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {115--139},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.009},
  doi          = {10.1016/J.SCICO.2006.03.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ClarisoC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ColmanH07,
  author       = {Alan W. Colman and
                  Jun Han},
  title        = {Using role-based coordination to achieve software adaptability},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {2},
  pages        = {223--245},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.006},
  doi          = {10.1016/J.SCICO.2006.06.006},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ColmanH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Colon07,
  author       = {Michael Col{\'{o}}n},
  title        = {Polynomial approximations of the relational semantics of imperativeprograms},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {76--96},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.004},
  doi          = {10.1016/J.SCICO.2006.03.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Colon07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Filliatre07,
  author       = {Jean{-}Christophe Filli{\^{a}}tre},
  title        = {Formal proof of a program: Find},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {332--340},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.10.002},
  doi          = {10.1016/J.SCICO.2006.10.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Filliatre07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FlanaganF07,
  author       = {Cormac Flanagan and
                  Stephen N. Freund},
  title        = {Type inference against races},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {140--165},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.006},
  doi          = {10.1016/J.SCICO.2006.03.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FlanaganF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GaoGH07,
  author       = {Hui Gao and
                  Jan Friso Groote and
                  Wim H. Hesselink},
  title        = {Lock-free parallel and concurrent garbage collection by mark{\&}sweep},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {341--374},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.10.001},
  doi          = {10.1016/J.SCICO.2006.10.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GaoGH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Giacobazzi07,
  author       = {Roberto Giacobazzi},
  title        = {Foreword},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {1--2},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.002},
  doi          = {10.1016/J.SCICO.2006.08.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Giacobazzi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GulwaniN07,
  author       = {Sumit Gulwani and
                  George C. Necula},
  title        = {A polynomial-time algorithm for global value numbering},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {97--114},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.005},
  doi          = {10.1016/J.SCICO.2006.03.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GulwaniN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Hayes07,
  author       = {Ian J. Hayes},
  title        = {Procedures and parameters in the real-time program refinement calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {286--311},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.002},
  doi          = {10.1016/J.SCICO.2006.06.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Hayes07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JacquetP07,
  author       = {Jean{-}Marie Jacquet and
                  Gian Pietro Picco},
  title        = {Introduction to the special issue},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {2},
  pages        = {185--186},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.08.001},
  doi          = {10.1016/J.SCICO.2006.08.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JacquetP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NicolaGP07,
  author       = {Rocco De Nicola and
                  Daniele Gorla and
                  Rosario Pugliese},
  title        = {Global computing in a dynamic network of tuple spaces},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {2},
  pages        = {187--204},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.004},
  doi          = {10.1016/J.SCICO.2006.06.004},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaGP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Rodriguez-CarbonellK07,
  author       = {Enric Rodr{\'{\i}}guez{-}Carbonell and
                  Deepak Kapur},
  title        = {Automatic generation of polynomial invariants of bounded degree using
                  abstract interpretation},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {54--75},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.003},
  doi          = {10.1016/J.SCICO.2006.03.003},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Rodriguez-CarbonellK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RusselloCSB07,
  author       = {Giovanni Russello and
                  Michel R. V. Chaudron and
                  Maarten van Steen and
                  Ibrahim Bokharouss},
  title        = {An experimental evaluation of self-managing availability in shared
                  data spaces},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {2},
  pages        = {246--262},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.007},
  doi          = {10.1016/J.SCICO.2006.06.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RusselloCSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Schmidt07,
  author       = {David A. Schmidt},
  title        = {A calculus of logical relations for over- and underapproximating static
                  analyses},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {29--53},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.008},
  doi          = {10.1016/J.SCICO.2006.03.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Schmidt07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ThompsonM07,
  author       = {Sarah Thompson and
                  Alan Mycroft},
  title        = {Abstract interpretation of combinational asynchronous circuits},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {1},
  pages        = {166--183},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.03.007},
  doi          = {10.1016/J.SCICO.2006.03.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ThompsonM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/UdzirWJ07,
  author       = {Nur Izura Udzir and
                  Alan M. Wood and
                  Jeremy L. Jacob},
  title        = {Coordination with multicapabilities},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {2},
  pages        = {205--222},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.06.005},
  doi          = {10.1016/J.SCICO.2006.06.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/UdzirWJ07.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.