Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AbadiC95,
  author       = {Mart{\'{\i}}n Abadi and
                  Luca Cardelli},
  title        = {A Theory of Primitive Objects: Second-Order Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {81--116},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00010-0},
  doi          = {10.1016/0167-6423(95)00010-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AbadiC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Andrews95,
  author       = {James H. Andrews},
  title        = {Foundational Issues in Implementing Constraint Logic Programming Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {117--147},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00011-9},
  doi          = {10.1016/0167-6423(95)00011-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Andrews95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BidoitHW95,
  author       = {Michel Bidoit and
                  Rolf Hennicker and
                  Martin Wirsing},
  title        = {Behavioural and Abstractor Specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {149--186},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00014-3},
  doi          = {10.1016/0167-6423(95)00014-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BidoitHW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GiegerichK95,
  author       = {Robert Giegerich and
                  Stefan Kurtz},
  title        = {A Comparison of Imperative and Purely Functional Suffix Tree Constructions},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {187--218},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00003-8},
  doi          = {10.1016/0167-6423(95)00003-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GiegerichK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HankinM95,
  author       = {Chris Hankin and
                  Daniel Le M{\'{e}}tayer},
  title        = {Lazy Type Inference and Program Analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {219--249},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00012-7},
  doi          = {10.1016/0167-6423(95)00012-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HankinM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Jay95,
  author       = {C. Barry Jay},
  title        = {A Semantics for Shape},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {251--283},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00015-1},
  doi          = {10.1016/0167-6423(95)00015-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Jay95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MadhukarKRS95,
  author       = {K. Madhukar and
                  D. Pavan Kumar and
                  C. Pandu Rangan and
                  R. Sundar},
  title        = {Systematic Design of an Algorithm for Biconnected Components},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {1},
  pages        = {63--77},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00005-D},
  doi          = {10.1016/0167-6423(95)00005-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MadhukarKRS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MoirA95,
  author       = {Mark Moir and
                  James H. Anderson},
  title        = {Wait-Free Algorithms for Fast, Long-Lived Renaming},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {1},
  pages        = {1--39},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00009-H},
  doi          = {10.1016/0167-6423(95)00009-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MoirA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ParnasM95,
  author       = {David Lorge Parnas and
                  Jan Madey},
  title        = {Functional Documents for Computer Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {1},
  pages        = {41--61},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)96871-J},
  doi          = {10.1016/0167-6423(95)96871-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ParnasM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Prasad95,
  author       = {K. V. S. Prasad},
  title        = {A Calculus of Broadcasting Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {285--327},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)00017-8},
  doi          = {10.1016/0167-6423(95)00017-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Prasad95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Sannella95,
  author       = {Donald Sannella},
  title        = {Foreword: Selected Papers of ESOP'94},
  journal      = {Sci. Comput. Program.},
  volume       = {25},
  number       = {2-3},
  pages        = {79--80},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-6423(95)90025-X},
  doi          = {10.1016/0167-6423(95)90025-X},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Sannella95.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.