Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/scp/scp97.bht:"
download as .bib file
@article{DBLP:journals/scp/AichernigJT15,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Stefan Tiran},
title = {Model-based mutation testing via symbolic refinement checking},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {383--404},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.004},
doi = {10.1016/J.SCICO.2014.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AichernigJT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Ancona15,
author = {Davide Ancona},
title = {Preface to the special section on Object-Oriented Programming and
Systems {(OOPS} 2010)},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {281},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.018},
doi = {10.1016/J.SCICO.2014.05.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Ancona15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaetenM15,
author = {Jos C. M. Baeten and
Jasen Markovski},
title = {The role of supervisory controller synthesis in automatic control
software development},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {17--22},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.016},
doi = {10.1016/J.SCICO.2013.11.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaetenM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BettiniDS15,
author = {Lorenzo Bettini and
Ferruccio Damiani and
Ina Schaefer},
title = {Implementing type-safe software product lines using parametric traits},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {282--308},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.07.016},
doi = {10.1016/J.SCICO.2013.07.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BettiniDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BianculliFGM15,
author = {Domenico Bianculli and
Antonio Filieri and
Carlo Ghezzi and
Dino Mandrioli},
title = {Syntactic-semantic incrementality for agile verification},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {47--54},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.026},
doi = {10.1016/J.SCICO.2013.11.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BianculliFGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BradaJ15,
author = {Premek Brada and
Kamil Jezek},
title = {Repository and meta-data design for efficient component consistency
verification},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {349--365},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.013},
doi = {10.1016/J.SCICO.2014.06.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BradaJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrandG15,
author = {Mark van den Brand and
Jan Friso Groote},
title = {Software engineering: Redundancy is key},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {75--81},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.020},
doi = {10.1016/J.SCICO.2013.11.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrandG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BruniLM15,
author = {Roberto Bruni and
Alberto Lluch{-}Lafuente and
Ugo Montanari},
title = {Constraint design rewriting},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {23--30},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.015},
doi = {10.1016/J.SCICO.2013.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BruniLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bruntink15,
author = {Magiel Bruntink},
title = {Towards base rates in software analytics: Early results and challenges
from studying Ohloh},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {135--142},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.023},
doi = {10.1016/J.SCICO.2013.11.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Bruntink15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CameronSNMM15,
author = {Alexander Cameron and
Markus Stumptner and
Nanda Nandagopal and
Wolfgang Mayer and
Todd Mansell},
title = {Rule-based peer-to-peer framework for decentralised real-time service
oriented architectures},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {202--234},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.005},
doi = {10.1016/J.SCICO.2014.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CameronSNMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CimattiT15,
author = {Alessandro Cimatti and
Stefano Tonetta},
title = {Contracts-refinement proof system for component-based embedded systems},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {333--348},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.011},
doi = {10.1016/J.SCICO.2014.06.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CimattiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CleveGMMW15,
author = {Anthony Cleve and
Maxime Gobert and
Loup Meurice and
Jerome Maes and
Jens H. Weber},
title = {Understanding database schema evolution: {A} case study},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {113--121},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.025},
doi = {10.1016/J.SCICO.2013.11.025},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CleveGMMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CortellessaM15,
author = {Vittorio Cortellessa and
Henry Muccini},
title = {Modeling and analysis of compositional software (papers from {EUROMICRO}
SEAA'12)},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {331--332},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.009},
doi = {10.1016/J.SCICO.2014.06.009},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CortellessaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Deursen0N15,
author = {Arie van Deursen and
Ali Mesbah and
Alex Nederlof},
title = {Crawl-based analysis of web applications: Prospects and challenges},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {173--180},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.005},
doi = {10.1016/J.SCICO.2014.09.005},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Deursen0N15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EijckS15,
author = {Jan van Eijck and
Tijs van der Storm},
title = {Understanding information update in questionnaires},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {69--74},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.042},
doi = {10.1016/J.SCICO.2013.11.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EijckS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EtemaadiC15,
author = {Ramin Etemaadi and
Michel R. V. Chaudron},
title = {New degrees of freedom in metaheuristic optimization of component-based
systems architecture: Architecture topology and load balancing},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {366--380},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.012},
doi = {10.1016/J.SCICO.2014.06.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EtemaadiC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GiustoP15,
author = {Cinzia Di Giusto and
Jorge A. P{\'{e}}rez},
title = {Disciplined structured communications with disciplined runtime adaptation},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {235--265},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.017},
doi = {10.1016/J.SCICO.2014.04.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GiustoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Godfrey15,
author = {Michael W. Godfrey},
title = {Understanding software artifact provenance},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {86--90},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.021},
doi = {10.1016/J.SCICO.2013.11.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Godfrey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gupta15,
author = {Gopal Gupta},
title = {Language-based software engineering},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {37--40},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.02.010},
doi = {10.1016/J.SCICO.2014.02.010},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Gupta15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Heering15,
author = {Jan Heering},
title = {Generative software complexity and software understanding},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {82--85},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.017},
doi = {10.1016/J.SCICO.2013.11.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Heering15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeinenJKN15,
author = {Jonathan Heinen and
Christina Jansen and
Joost{-}Pieter Katoen and
Thomas Noll},
title = {Verifying pointer programs using graph grammars},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {157--162},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.012},
doi = {10.1016/J.SCICO.2013.11.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeinenJKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeitkotterKM15,
author = {Henning Heitk{\"{o}}tter and
Herbert Kuchen and
Tim A. Majchrzak},
title = {Extending a model-driven cross-platform development approach for business
apps},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {31--36},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.013},
doi = {10.1016/J.SCICO.2013.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeitkotterKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JohnstoneS15,
author = {Adrian Johnstone and
Elizabeth Scott},
title = {Principled software microengineering},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {64--68},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.018},
doi = {10.1016/J.SCICO.2013.11.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/JohnstoneS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KaratasFK15,
author = {Fatih Karatas and
Lars Fischer and
Dogan Kesdogan},
title = {Service composition with consideration of interdependent security
objectives},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {183--201},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.06.016},
doi = {10.1016/J.SCICO.2014.06.016},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KaratasFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KogtenkovMV15,
author = {Alexander Kogtenkov and
Bertrand Meyer and
Sergey Velder},
title = {Alias calculus, change calculus and frame inference},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {163--172},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.006},
doi = {10.1016/J.SCICO.2013.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KogtenkovMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Lammel15,
author = {Ralf L{\"{a}}mmel},
title = {Software chrestomathies},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {98--104},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.014},
doi = {10.1016/J.SCICO.2013.11.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Lammel15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LaneseMM15,
author = {Ivan Lanese and
Manuel Mazzara and
Fabrizio Montesi},
title = {Special issue on Service-Oriented Architecture and Programming {(SOAP}
2013)},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {181--182},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.07.007},
doi = {10.1016/J.SCICO.2014.07.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LaneseMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Moonen15,
author = {Leon Moonen},
title = {Towards evidence-based recommendations to guide the evolution of component-based
product families},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {105--112},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.009},
doi = {10.1016/J.SCICO.2013.11.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Moonen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Mosses15,
author = {Peter D. Mosses},
title = {Semantics of programming languages: Using Asf+Sdf},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {2--10},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.038},
doi = {10.1016/J.SCICO.2013.11.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Mosses15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MucciniT15,
author = {Henry Muccini and
Antony Tang},
title = {Special issue: Selected papers from the 12th International Conference
on Quality Software {(QSIC} 2012)},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {381--382},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.001},
doi = {10.1016/J.SCICO.2014.05.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MucciniT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NierstraszK15,
author = {Oscar Nierstrasz and
Jan Kurs},
title = {Parsing for agile modeling},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {150--156},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.011},
doi = {10.1016/J.SCICO.2013.11.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NierstraszK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PhamDH15,
author = {Thanh{-}Trung Pham and
Xavier D{\'{e}}fago and
Huynh Quyet Thang},
title = {Reliability prediction for component-based software systems: Dealing
with concurrent and propagating errors},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {426--457},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.03.016},
doi = {10.1016/J.SCICO.2014.03.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PhamDH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PredaGGLM15,
author = {Mila Dalla Preda and
Maurizio Gabbrielli and
Saverio Giallorenzo and
Ivan Lanese and
Jacopo Mauro},
title = {Developing correct, distributed, adaptive software},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {41--46},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.019},
doi = {10.1016/J.SCICO.2013.11.019},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PredaGGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Rooney15,
author = {Sean Rooney},
title = {Scheduling intense applications most 'surprising' first},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {309--319},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.09.001},
doi = {10.1016/J.SCICO.2013.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Rooney15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShahbazMS15,
author = {Muzammil Shahbaz and
Phil McMinn and
Mark Stevenson},
title = {Automatic generation of valid and invalid test data for string validation
routines using web searches and regular expressions},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {405--425},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.008},
doi = {10.1016/J.SCICO.2014.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShahbazMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Snelting15,
author = {Gregor Snelting},
title = {Understanding probabilistic software leaks},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {122--126},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.008},
doi = {10.1016/J.SCICO.2013.11.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Snelting15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/StevensonC15,
author = {Andrew Stevenson and
James R. Cordy},
title = {Parse views with Boolean grammars},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {59--63},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.007},
doi = {10.1016/J.SCICO.2013.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/StevensonC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/StormV15,
author = {Tijs van der Storm and
Jurgen J. Vinju},
title = {Towards multilingual programming environments},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {143--149},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.041},
doi = {10.1016/J.SCICO.2013.11.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/StormV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TangJ15,
author = {Xiaolong Tang and
Jaakko J{\"{a}}rvi},
title = {Axioms as generic rewrite rules in {C++} with concepts},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {320--330},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.006},
doi = {10.1016/J.SCICO.2014.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TangJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Tip15,
author = {Frank Tip},
title = {Infeasible paths in object-oriented programs},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {91--97},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.005},
doi = {10.1016/J.SCICO.2013.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Tip15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/UrmaM15,
author = {Raoul{-}Gabriel Urma and
Alan Mycroft},
title = {Source-code queries with graph databases - with application to programming
language usage and evolution},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {127--134},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.010},
doi = {10.1016/J.SCICO.2013.11.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/UrmaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Vinju15,
author = {Jurgen J. Vinju},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.04.011},
doi = {10.1016/J.SCICO.2014.04.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Vinju15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Visser15,
author = {Eelco Visser},
title = {Understanding software through linguistic abstraction},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {11--16},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.12.001},
doi = {10.1016/J.SCICO.2013.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Visser15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WatsonKC15,
author = {Bruce W. Watson and
Derrick G. Kourie and
Loek G. Cleophas},
title = {Experience with correctness-by-construction},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {55--58},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.024},
doi = {10.1016/J.SCICO.2013.11.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WatsonKC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZagareseCZAPAB15,
author = {Quirino Zagarese and
Gerardo Canfora and
Eugenio Zimeo and
Iyad Alshabani and
Laurent Pellegrino and
Amjad Alshabani and
Fran{\c{c}}oise Baude},
title = {Improving data-intensive {EDA} performance with annotation-driven
laziness},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {266--279},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.03.007},
doi = {10.1016/J.SCICO.2014.03.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZagareseCZAPAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-03 22:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
