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/conf/lopstr/lopstr2017.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/2017,
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94460-9},
doi = {10.1007/978-3-319-94460-9},
isbn = {978-3-319-94459-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ait-KaciP17,
author = {Hassan A{\"{\i}}t{-}Kaci and
Gabriella Pasi},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Fuzzy Unification and Generalization of First-Order Terms over Similar
Signatures},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {218--234},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_13},
doi = {10.1007/978-3-319-94460-9\_13},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ait-KaciP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGI17,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Miguel Isabel},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Generation of Initial Contexts for Effective Deadlock Detection},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {3--19},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_1},
doi = {10.1007/978-3-319-94460-9\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertiS17,
author = {Michele Alberti and
Julien Signoles},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Context Generation from Formal Specifications for {C} Analysis Tools},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {93--111},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_6},
doi = {10.1007/978-3-319-94460-9\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AngelisFPP17,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Predicate Pairing with Abstraction for Relational Verification},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {289--305},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_17},
doi = {10.1007/978-3-319-94460-9\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AngelisFPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ayala-RinconSFN17,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Washington de Carvalho Segundo and
Maribel Fern{\'{a}}ndez and
Daniele Nantes{-}Sobrinho},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Nominal C-Unification},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {235--251},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_14},
doi = {10.1007/978-3-319-94460-9\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ayala-RinconSFN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Barany17,
author = {Gerg{\"{o}} Barany},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Liveness-Driven Random Program Generation},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {112--127},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_7},
doi = {10.1007/978-3-319-94460-9\_7},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Barany17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BetarteCGL17,
author = {Gustavo Betarte and
Juan Diego Campo and
Felipe Gorostiaga and
Carlos Luna},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {A Certified Reference Validation Mechanism for the Permission Model
of Android},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {271--288},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_16},
doi = {10.1007/978-3-319-94460-9\_16},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BetarteCGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BodiniT17,
author = {Olivier Bodini and
Paul Tarau},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {252--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_15},
doi = {10.1007/978-3-319-94460-9\_15},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BodiniT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/EngelsBB17,
author = {Christiane Engels and
Andreas Behrend and
Stefan Brass},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {A Rule-Based Approach to Analyzing Database Schema Objects with Datalog},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {20--36},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_2},
doi = {10.1007/978-3-319-94460-9\_2},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/EngelsBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Fruhwirth17,
author = {Thom W. Fr{\"{u}}hwirth},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Justifications in Constraint Handling Rules for Logical Retraction
in Dynamic Algorithms},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {147--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_9},
doi = {10.1007/978-3-319-94460-9\_9},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Fruhwirth17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GutierrezM17,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Meseguer},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Variant-Based Decidable Satisfiability in Initial Algebras with Predicates},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {306--322},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_18},
doi = {10.1007/978-3-319-94460-9\_18},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GutierrezM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hanus17,
author = {Michael Hanus},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Combining Static and Dynamic Contract Checking for Curry},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {323--340},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_19},
doi = {10.1007/978-3-319-94460-9\_19},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hanus17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/InsaPST17,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Erlang Code Evolution Control},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {128--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_8},
doi = {10.1007/978-3-319-94460-9\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/InsaPST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Kirkeby017,
author = {Maja H. Kirkeby and
Henning Christiansen},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Confluence and Convergence in Probabilistically Terminating Reduction
Systems},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {164--179},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_10},
doi = {10.1007/978-3-319-94460-9\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Kirkeby017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LaneveG17,
author = {Cosimo Laneve and
Abel Garcia},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Deadlock Detection of Java Bytecode},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {37--53},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_3},
doi = {10.1007/978-3-319-94460-9\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LaneveG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LiqatBLH17,
author = {Umer Liqat and
Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Inferring Energy Bounds via Static Program Analysis and Evolutionary
Modeling of Basic Blocks},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {54--72},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_4},
doi = {10.1007/978-3-319-94460-9\_4},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LiqatBLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Lucas17,
author = {Salvador Lucas},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Analysis of Rewriting-Based Systems as First-Order Theories},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {180--197},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_11},
doi = {10.1007/978-3-319-94460-9\_11},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Lucas17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NguyenT17,
author = {Huu{-}Vu Nguyen and
Tayssir Touili},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {{CARET} Analysis of Multithreaded Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {73--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_5},
doi = {10.1007/978-3-319-94460-9\_5},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NguyenT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SkeirikSM17,
author = {Stephen Skeirik and
Andrei Stefanescu and
Jos{\'{e}} Meseguer},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {A Constructor-Based Reachability Logic for Rewrite Theories},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {201--217},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_12},
doi = {10.1007/978-3-319-94460-9\_12},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SkeirikSM17.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-06-08 10:19 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:
