Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2023.bht:"
@inproceedings{DBLP:conf/lopstr/AngelisFPP23, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Constrained Horn Clauses Satisfiability via Catamorphic Abstractions}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {39--57}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_4}, doi = {10.1007/978-3-031-45784-5\_4}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AngelisFPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/BambergerF23, author = {Anna Bamberger and Maribel Fern{\'{a}}ndez}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {From Static to Dynamic Access Control Policies via Attribute-Based Category Mining}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {188--197}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_12}, doi = {10.1007/978-3-031-45784-5\_12}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/BambergerF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/CarboneMS23, author = {Marco Carbone and Sonia Marin and Carsten Sch{\"{u}}rmann}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {A Logical Interpretation of Asynchronous Multiparty Compatibility}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {99--117}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_7}, doi = {10.1007/978-3-031-45784-5\_7}, timestamp = {Wed, 10 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/CarboneMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/DesmartinIPSKK23, author = {Remi Desmartin and Omri Isac and Grant O. Passmore and Kathrin Stark and Ekaterina Komendantskaya and Guy Katz}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Towards a Certified Proof Checker for Deep Neural Network Verification}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {198--209}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_13}, doi = {10.1007/978-3-031-45784-5\_13}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/DesmartinIPSKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Fernandez23, author = {Maribel Fern{\'{a}}ndez}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk)}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {3--6}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_1}, doi = {10.1007/978-3-031-45784-5\_1}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Fernandez23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/GallagherHML23, author = {John P. Gallagher and Manuel V. Hermenegildo and Jos{\'{e}} F. Morales and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {28--38}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_3}, doi = {10.1007/978-3-031-45784-5\_3}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/GallagherHML23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/JurjoMLH23, author = {Daniel Jurjo and Jos{\'{e}} F. Morales and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Manuel V. Hermenegildo}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {A Rule-Based Approach for Designing and Composing Abstract Domains}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {80--98}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_6}, doi = {10.1007/978-3-031-45784-5\_6}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/JurjoMLH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Kulas23, author = {Marija Kulas}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {A Term Matching Algorithm and Substitution Generality}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {150--166}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_10}, doi = {10.1007/978-3-031-45784-5\_10}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Kulas23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/LozovKIB23, author = {Peter Lozov and Dmitry Kosarev and Dmitry Ivanov and Dmitry Boulytchev}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Relational Solver for Java Generics Type System}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {118--128}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_8}, doi = {10.1007/978-3-031-45784-5\_8}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/LozovKIB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/MasB23, author = {Jordina Franc{\`{e}}s de Mas and Juliana Bowles}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {169--187}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_11}, doi = {10.1007/978-3-031-45784-5\_11}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/MasB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SuzanneC23, author = {Hector Suzanne and Emmanuel Chailloux}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {A Reusable Machine-Calculus for Automated Resource Analyses}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {61--79}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_5}, doi = {10.1007/978-3-031-45784-5\_5}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SuzanneC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/TrongTH23, author = {Bach Nguyen Trong and Kanae Tsushima and Zhenjiang Hu}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {9--27}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_2}, doi = {10.1007/978-3-031-45784-5\_2}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/TrongTH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/YernauxV23, author = {Gonzague Yernaux and Wim Vanhoof}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Predicate Anti-unification in (Constraint) Logic Programming}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {131--149}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_9}, doi = {10.1007/978-3-031-45784-5\_9}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/YernauxV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lopstr/2023, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5}, doi = {10.1007/978-3-031-45784-5}, isbn = {978-3-031-45783-8}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/2023.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.