default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2002.bht:"
@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} }
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.