![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp47.bht:"
@article{DBLP:journals/scp/AldrichSCE03, author = {Jonathan Aldrich and Emin G{\"{u}}n Sirer and Craig Chambers and Susan J. Eggers}, title = {Comprehensive synchronization elimination for Java}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {91--120}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00129-6}, doi = {10.1016/S0167-6423(02)00129-6}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AldrichSCE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CortesiF03, author = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Static Analysis}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {89--90}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00128-4}, doi = {10.1016/S0167-6423(02)00128-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/CortesiF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DohM03, author = {Kyung{-}Goo Doh and Peter D. Mosses}, title = {Composing programming languages by combining action-semantics modules}, journal = {Sci. Comput. Program.}, volume = {47}, number = {1}, pages = {3--36}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00107-7}, doi = {10.1016/S0167-6423(02)00107-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DohM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/FernandezBG03, author = {Jean{-}Claude Fernandez and Marius Bozga and Lucian Ghirvu}, title = {State space reduction based on live variables analysis}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {203--220}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00133-8}, doi = {10.1016/S0167-6423(02)00133-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/FernandezBG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HedinM03, author = {G{\"{o}}rel Hedin and Eva Magnusson}, title = {JastAdd--an aspect-oriented compiler construction system}, journal = {Sci. Comput. Program.}, volume = {47}, number = {1}, pages = {37--58}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00109-0}, doi = {10.1016/S0167-6423(02)00109-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HedinM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KuipersV03, author = {Tobias Kuipers and Joost Visser}, title = {Object-oriented tree traversal with JJForester}, journal = {Sci. Comput. Program.}, volume = {47}, number = {1}, pages = {59--87}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00108-9}, doi = {10.1016/S0167-6423(02)00108-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KuipersV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LiuS03, author = {Yanhong A. Liu and Scott D. Stoller}, title = {Eliminating dead code on recursive data}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {221--242}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00134-X}, doi = {10.1016/S0167-6423(02)00134-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LiuS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Mauborgne03, author = {Laurent Mauborgne}, title = {Infinitary relations and their representation}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {121--144}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00130-2}, doi = {10.1016/S0167-6423(02)00130-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Mauborgne03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Monniaux03, author = {David Monniaux}, title = {Abstracting cryptographic protocols with tree automata}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {177--202}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00132-6}, doi = {10.1016/S0167-6423(02)00132-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Monniaux03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/NielsonHN03, author = {Flemming Nielson and Ren{\'{e}} Rydhof Hansen and Hanne Riis Nielson}, title = {Abstract interpretation of mobile ambients}, journal = {Sci. Comput. Program.}, volume = {47}, number = {2-3}, pages = {145--175}, year = {2003}, url = {https://doi.org/10.1016/S0167-6423(02)00131-4}, doi = {10.1016/S0167-6423(02)00131-4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/NielsonHN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.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.