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/lopstr2006.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/2006,
editor = {Germ{\'{a}}n Puebla},
title = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71410-1},
doi = {10.1007/978-3-540-71410-1},
isbn = {978-3-540-71409-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AbdennadherOST06,
author = {Slim Abdennadher and
Abdellatif Olama and
Noha Salem and
Amira Thabet},
editor = {Germ{\'{a}}n Puebla},
title = {{ARM:} Automatic Rule Miner},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {17--25},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_3},
doi = {10.1007/978-3-540-71410-1\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AbdennadherOST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ArroyoRSV06,
author = {Gustavo Arroyo and
J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Germ{\'{a}}n Puebla},
title = {Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change
Graphs},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {60--76},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_6},
doi = {10.1007/978-3-540-71410-1\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ArroyoRSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BagnaraDHMZ06,
author = {Roberto Bagnara and
Katy Louise Dobson and
Patricia M. Hill and
Matthew Mundell and
Enea Zaffanella},
editor = {Germ{\'{a}}n Puebla},
title = {Grids: {A} Domain for Analyzing the Distribution of Numerical Values},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {219--235},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_16},
doi = {10.1007/978-3-540-71410-1\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BagnaraDHMZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrasselFH06,
author = {Bernd Brassel and
Sebastian Fischer and
Frank Huch},
editor = {Germ{\'{a}}n Puebla},
title = {A Program Transformation for Tracing Functional Logic Computations},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {160--176},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_12},
doi = {10.1007/978-3-540-71410-1\_12},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BrasselFH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelCE06,
author = {Michael Leuschel and
Stephen{-}John Craig and
Daniel Elphick},
editor = {Germ{\'{a}}n Puebla},
title = {Supervising Offline Partial Evaluation of Logic Programs Using Online
Techniques},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {43--59},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_5},
doi = {10.1007/978-3-540-71410-1\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelCE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MantelSK06,
author = {Heiko Mantel and
Henning Sudbrock and
Tina Krau{\ss}er},
editor = {Germ{\'{a}}n Puebla},
title = {Combining Different Proof Techniques for Verifying Information Flow
Security},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {94--110},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_8},
doi = {10.1007/978-3-540-71410-1\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MantelSK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Marchiori06,
author = {Massimo Marchiori},
editor = {Germ{\'{a}}n Puebla},
title = {How to Talk to a Human: The Semantic Web and the Clash of the Titans},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {1--14},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_1},
doi = {10.1007/978-3-540-71410-1\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Marchiori06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MoralesCH06,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Germ{\'{a}}n Puebla},
title = {Towards Description and Optimization of Abstract Machines in an Extension
of Prolog},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {77--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_7},
doi = {10.1007/978-3-540-71410-1\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MoralesCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MusuvathiQ06,
author = {Madan Musuvathi and
Shaz Qadeer},
editor = {Germ{\'{a}}n Puebla},
title = {{CHESS:} Systematic Stress Testing of Concurrent Software},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {15--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_2},
doi = {10.1007/978-3-540-71410-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MusuvathiQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NguyenS06,
author = {Manh Thang Nguyen and
Danny De Schreye},
editor = {Germ{\'{a}}n Puebla},
title = {Polytool: Proving Termination Automatically Based on Polynomial Interpretations},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {210--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_15},
doi = {10.1007/978-3-540-71410-1\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/NguyenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Payet06,
author = {{\'{E}}tienne Payet},
editor = {Germ{\'{a}}n Puebla},
title = {Detecting Non-termination of Term Rewriting Systems Using an Unfolding
Operator},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {194--209},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_14},
doi = {10.1007/978-3-540-71410-1\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Payet06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SakamaI06,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Germ{\'{a}}n Puebla},
title = {Constructing Consensus Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {26--42},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_4},
doi = {10.1007/978-3-540-71410-1\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SakamaI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ScheweF06,
author = {Sven Schewe and
Bernd Finkbeiner},
editor = {Germ{\'{a}}n Puebla},
title = {Synthesis of Asynchronous Systems},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {127--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_10},
doi = {10.1007/978-3-540-71410-1\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ScheweF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Schneider-KampGST06,
author = {Peter Schneider{-}Kamp and
J{\"{u}}rgen Giesl and
Alexander Serebrenik and
Ren{\'{e}} Thiemann},
editor = {Germ{\'{a}}n Puebla},
title = {Automated Termination Analysis for Logic Programs by Term Rewriting},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {177--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_13},
doi = {10.1007/978-3-540-71410-1\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Schneider-KampGST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Silva06,
author = {Josep Silva},
editor = {Germ{\'{a}}n Puebla},
title = {A Comparative Study of Algorithmic Debugging Strategies},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {143--159},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_11},
doi = {10.1007/978-3-540-71410-1\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Silva06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WinwoodKC06,
author = {Simon Winwood and
Gerwin Klein and
Manuel M. T. Chakravarty},
editor = {Germ{\'{a}}n Puebla},
title = {On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {111--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_9},
doi = {10.1007/978-3-540-71410-1\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/WinwoodKC06.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-18 12:43 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:
