Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AbadiB05,
  author       = {Mart{\'{\i}}n Abadi and
                  Bruno Blanchet},
  title        = {Computer-assisted verification of a protocol for certified email},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {3--27},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.002},
  doi          = {10.1016/J.SCICO.2005.02.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AbadiB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BagnaraHRZ05,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Elisa Ricci and
                  Enea Zaffanella},
  title        = {Precise widening operators for convex polyhedra},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {28--56},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.003},
  doi          = {10.1016/J.SCICO.2005.02.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BagnaraHRZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ColeH05,
  author       = {Christopher Cole and
                  Maurice Herlihy},
  title        = {Snapshots and software transactional memory},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {310--324},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.006},
  doi          = {10.1016/J.SCICO.2005.03.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ColeH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Cousot05,
  author       = {Radhia Cousot},
  title        = {Static Analysis Symposium 2003},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {1--2},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.04.002},
  doi          = {10.1016/J.SCICO.2005.04.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Cousot05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FieldGRY05,
  author       = {John Field and
                  Deepak Goyal and
                  Ganesan Ramalingam and
                  Eran Yahav},
  title        = {Typestate verification: Abstraction techniques and complexity results},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {57--82},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.004},
  doi          = {10.1016/J.SCICO.2005.02.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FieldGRY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GreenhouseHS05,
  author       = {Aaron Greenhouse and
                  Timothy J. Halloran and
                  William L. Scherlis},
  title        = {Observations on the assured evolution of concurrent Java programs},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {384--411},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.002},
  doi          = {10.1016/J.SCICO.2005.03.002},
  timestamp    = {Thu, 26 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GreenhouseHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GuyerL05,
  author       = {Samuel Z. Guyer and
                  Calvin Lin},
  title        = {Error checking with client-driven pointer analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {83--114},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.005},
  doi          = {10.1016/J.SCICO.2005.02.005},
  timestamp    = {Tue, 20 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GuyerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Harris05,
  author       = {Tim Harris},
  title        = {Exceptions and side-effects in atomic blocks},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {325--343},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.005},
  doi          = {10.1016/J.SCICO.2005.03.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Harris05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HermenegildoPBL05,
  author       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla and
                  Francisco Bueno and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
  title        = {Integrated program debugging, verification, and optimization using
                  abstract interpretation (and the Ciao system preprocessor)},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {115--140},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.006},
  doi          = {10.1016/J.SCICO.2005.02.006},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/HermenegildoPBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Lea05,
  author       = {Doug Lea},
  title        = {The java.util.concurrent synchronizer framework},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {293--309},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.007},
  doi          = {10.1016/J.SCICO.2005.03.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Lea05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LeeYY05,
  author       = {Oukseh Lee and
                  Hongseok Yang and
                  Kwangkeun Yi},
  title        = {Static insertion of safe and effective memory reuse commands into
                  ML-like programs},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {141--178},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.007},
  doi          = {10.1016/J.SCICO.2005.02.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LeeYY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MoirSV05,
  author       = {Mark Moir and
                  Nir Shavit and
                  Jan Vitek},
  title        = {Concurrency and synchronization in Java programs},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {291--292},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.05.001},
  doi          = {10.1016/J.SCICO.2005.05.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MoirSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Monniaux05,
  author       = {David Monniaux},
  title        = {Abstract interpretation of programs as Markov decision processes},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {179--205},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.008},
  doi          = {10.1016/J.SCICO.2005.02.008},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Monniaux05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RepsSJM05,
  author       = {Thomas W. Reps and
                  Stefan Schwoon and
                  Somesh Jha and
                  David Melski},
  title        = {Weighted pushdown systems and their application to interprocedural
                  dataflow analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {206--263},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.009},
  doi          = {10.1016/J.SCICO.2005.02.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RepsSJM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RoseSH05,
  author       = {James Rose and
                  Nikhil Swamy and
                  Michael Hicks},
  title        = {Dynamic inference of polymorphic lock types},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {366--383},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.003},
  doi          = {10.1016/J.SCICO.2005.03.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RoseSH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ShahamYKS05,
  author       = {Ran Shaham and
                  Eran Yahav and
                  Elliot K. Kolodner and
                  Mooly Sagiv},
  title        = {Establishing local temporal heap safety properties with applications
                  to compile-time memory management},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {264--289},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.010},
  doi          = {10.1016/J.SCICO.2005.02.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ShahamYKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ShannebPN05,
  author       = {Abdelsalam Shanneb and
                  John Potter and
                  James Noble},
  title        = {Exclusion requirements and potential concurrency for composite objects},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {344--365},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.004},
  doi          = {10.1016/J.SCICO.2005.03.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ShannebPN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.