Search dblp for Publications

export results for "toc:db/conf/lopstr/lopstr2023.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.