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/lopstr2002.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/2002,
editor = {Michael Leuschel},
title = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45013-0},
doi = {10.1007/3-540-45013-0},
isbn = {3-540-40438-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AbdennadherR02,
author = {Slim Abdennadher and
Christophe Rigotti},
editor = {Michael Leuschel},
title = {Constraint Solver Synthesis Using Tabled Resolution for Constraint
Logic Programming},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {32--47},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_3},
doi = {10.1007/3-540-45013-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AbdennadherR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AkamaNK02,
author = {Kiyoshi Akama and
Ekawit Nantajeewarawat and
Hidekatsu Koike},
editor = {Michael Leuschel},
title = {Program Synthesis Based on the Equivalent Transformation Computation
Model},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {278--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_22},
doi = {10.1007/3-540-45013-0\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AkamaNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlpuenteCEFL02,
author = {Mar{\'{\i}}a Alpuente and
Marco Comini and
Santiago Escobar and
Moreno Falaschi and
Salvador Lucas},
editor = {Michael Leuschel},
title = {Abstract Diagnosis of Functional Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_1},
doi = {10.1007/3-540-45013-0\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlpuenteCEFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AmatoS02,
author = {Gianluca Amato and
Francesca Scozzari},
editor = {Michael Leuschel},
title = {A General Framework for Variable Aliasing: Towards Optimal Operators
for Sharing Properties},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {52--70},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_6},
doi = {10.1007/3-540-45013-0\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AmatoS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Berghammer02,
author = {Rudolf Berghammer},
editor = {Michael Leuschel},
title = {A Generic Program for Minimal Subsets with Applications},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {144--157},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_12},
doi = {10.1007/3-540-45013-0\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Berghammer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiFPR02,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Michael Leuschel},
title = {A Proof System for Information Flow Security},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {199--218},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_16},
doi = {10.1007/3-540-45013-0\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BragaHMM02,
author = {Christiano de Oliveira Braga and
Edward Hermann Haeusler and
Jos{\'{e}} Meseguer and
Peter D. Mosses},
editor = {Michael Leuschel},
title = {Mapping Modular {SOS} to Rewriting Logic},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {262--277},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_21},
doi = {10.1007/3-540-45013-0\_21},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BragaHMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ClaytonCPU02,
author = {Roger Clayton and
John G. Cleary and
Bernhard Pfahringer and
Mark Utting},
editor = {Michael Leuschel},
title = {Tabling Structures for Bottom-Up Logic Programming},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {50--51},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_5},
doi = {10.1007/3-540-45013-0\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/ClaytonCPU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ColvinHHS02,
author = {Robert Colvin and
Ian J. Hayes and
David Hemer and
Paul A. Strooper},
editor = {Michael Leuschel},
title = {Refinement of Higher-Order Logic Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {126--143},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_11},
doi = {10.1007/3-540-45013-0\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinHHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezS02,
author = {Maribel Fern{\'{a}}ndez and
Paula Severi},
editor = {Michael Leuschel},
title = {An Operational Approach to Program Extraction in the Calculus of Constructions},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {111--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_10},
doi = {10.1007/3-540-45013-0\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FernandezS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPP02,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Michael Leuschel},
title = {Combining Logic Programs and Monadic Second Order Logics by Program
Transformation},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {160--181},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_14},
doi = {10.1007/3-540-45013-0\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GrecoGTZ02,
author = {Gianluigi Greco and
Sergio Greco and
Irina Trubitsyna and
Ester Zumpano},
editor = {Michael Leuschel},
title = {Translating Datalog-Like Optimization Queries into {ILOG} Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {48--49},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_4},
doi = {10.1007/3-540-45013-0\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GrecoGTZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gruner02,
author = {Stefan Gruner},
editor = {Michael Leuschel},
title = {Abstract Partial Deduction Challenged},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {258--259},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_19},
doi = {10.1007/3-540-45013-0\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Gruner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GuoRR02,
author = {Hai{-}Feng Guo and
C. R. Ramakrishnan and
I. V. Ramakrishnan},
editor = {Michael Leuschel},
title = {Justification Based on Program Transformation},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {158--159},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_13},
doi = {10.1007/3-540-45013-0\_13},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GuoRR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GutierrezR02,
author = {Francisco Guti{\'{e}}rrez and
Blas C. Ruiz},
editor = {Michael Leuschel},
title = {A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural
Rules of Gentzen/Kleene},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {17--31},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_2},
doi = {10.1007/3-540-45013-0\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GutierrezR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauO02,
author = {Kung{-}Kiu Lau and
Mario Ornaghi},
editor = {Michael Leuschel},
title = {Towards Correct Object-Oriented Design Frameworks in Computational
Logic},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {260--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_20},
doi = {10.1007/3-540-45013-0\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LauO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Martin-MateosAHR02,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Michael Leuschel},
title = {Verification in {ACL2} of a Generic Framework to Synthesize SAT-Provers},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {182--198},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_15},
doi = {10.1007/3-540-45013-0\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Martin-MateosAHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MazurJV02,
author = {Nancy Mazur and
Gerda Janssens and
Wim Vanhoof},
editor = {Michael Leuschel},
title = {Collecting Potential Optimisations},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {109--110},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_9},
doi = {10.1007/3-540-45013-0\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MazurJV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PeraltaG02,
author = {Julio C. Peralta and
John P. Gallagher},
editor = {Michael Leuschel},
title = {Convex Hull Abstractions in Specialization of {CLP} Programs},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {90--108},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_8},
doi = {10.1007/3-540-45013-0\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PeraltaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SimonKH02,
author = {Axel Simon and
Andy King and
Jacob M. Howe},
editor = {Michael Leuschel},
title = {Two Variables per Linear Inequality as an Abstract Domain},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {71--89},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_7},
doi = {10.1007/3-540-45013-0\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SimonKH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VanhoofTB02,
author = {Wim Vanhoof and
Remko Tron{\c{c}}on and
Maurice Bruynooghe},
editor = {Michael Leuschel},
title = {A Fixed Point Semantics for Logic Programs Extended with Cuts},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {238--257},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_18},
doi = {10.1007/3-540-45013-0\_18},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VanhoofTB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Vidal02,
author = {Germ{\'{a}}n Vidal},
editor = {Michael Leuschel},
title = {Forward Slicing of Multi-paradigm Declarative Programs Based on Partial
Evaluation},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {219--237},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_17},
doi = {10.1007/3-540-45013-0\_17},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Vidal02.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-13 03:18 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:
