![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp34.bht:"
@article{DBLP:journals/scp/AndriesEHHKKPST99, author = {Marc Andries and Gregor Engels and Annegret Habel and Berthold Hoffmann and Hans{-}J{\"{o}}rg Kreowski and Sabine Kuske and Detlef Plump and Andy Sch{\"{u}}rr and Gabriele Taentzer}, title = {Graph Transformation for Specification and Programming}, journal = {Sci. Comput. Program.}, volume = {34}, number = {1}, pages = {1--54}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00023-9}, doi = {10.1016/S0167-6423(98)00023-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AndriesEHHKKPST99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AstesianoRZ99, author = {Egidio Astesiano and Gianna Reggio and Elena Zucca}, title = {Stores as Homomorphisms and Their Transformations: {A} Uniform Approach to Structured Types in Imperative Languages}, journal = {Sci. Comput. Program.}, volume = {34}, number = {3}, pages = {163--190}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00022-7}, doi = {10.1016/S0167-6423(98)00022-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AstesianoRZ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Hehner99, author = {Eric C. R. Hehner}, title = {Specifications, Programs, and Total Correctness}, journal = {Sci. Comput. Program.}, volume = {34}, number = {3}, pages = {191--205}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00027-6}, doi = {10.1016/S0167-6423(98)00027-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Hehner99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Meyer99, author = {Uwe Meyer}, title = {Correctness of On-Line Partial Evaluation for a Pascal-Like Language}, journal = {Sci. Comput. Program.}, volume = {34}, number = {1}, pages = {55--73}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00015-X}, doi = {10.1016/S0167-6423(98)00015-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Meyer99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MorrisB99, author = {Joseph M. Morris and Alexander Bunkenburg}, title = {A Logic for Reasoning Equationally in the Presence of Partiality}, journal = {Sci. Comput. Program.}, volume = {34}, number = {2}, pages = {141--158}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00019-7}, doi = {10.1016/S0167-6423(98)00019-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MorrisB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/OsorioJP99, author = {Mauricio Osorio and Bharat Jayaraman and David A. Plaisted}, title = {Theory of Partial-Order Programming}, journal = {Sci. Comput. Program.}, volume = {34}, number = {3}, pages = {207--238}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00018-5}, doi = {10.1016/S0167-6423(98)00018-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/OsorioJP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SeminiM99, author = {Laura Semini and Carlo Montangero}, title = {A Refinement Calculus for Tuple Spaces}, journal = {Sci. Comput. Program.}, volume = {34}, number = {2}, pages = {79--140}, year = {1999}, url = {https://doi.org/10.1016/S0167-6423(98)00021-5}, doi = {10.1016/S0167-6423(98)00021-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/SeminiM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.