Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Anna Bamberger, Maribel Fernández |
From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández |
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marija Kulas |
A Term Matching Algorithm and Substitution Generality. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Sonia Marin, Carsten Schürmann 0001 |
A Logical Interpretation of Asynchronous Multiparty Compatibility. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001 |
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gonzague Yernaux, Wim Vanhoof |
Predicate Anti-unification in (Constraint) Logic Programming. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
Towards a Certified Proof Checker for Deep Neural Network Verification. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Bishoksan Kafle (eds.) |
Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev |
Relational Solver for Java Generics Type System. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hector Suzanne, Emmanuel Chailloux |
A Reusable Machine-Calculus for Automated Resource Analyses. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jurjo, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
A Rule-Based Approach for Designing and Composing Abstract Domains. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jordina Francès de Mas, Juliana Bowles |
A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. |
LOPSTR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Barbosa, Mário Florido, Vítor Santos Costa |
Typed SLD-Resolution: Dynamic Typing for Logic Programming. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thaïs Baudon, Carsten Fuhs, Laure Gonnord |
Analysing Parallel Complexity of Term Rewriting. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Gutiérrez, Miguel Vítores, Salvador Lucas |
Confluence Framework: Proving Confluence with CONFident. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña |
Variant-Based Equational Anti-unification. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Arch, Xiaowen Hu, David Zhao 0001, Pavle Subotic, Bernhard Scholz |
Building a Join Optimizer for Soufflé. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Wim Vanhoof (eds.) |
Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent |
On Correctness of Normal Logic Programs. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Villanueva (eds.) |
Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch |
Model Checking Meets Auto-Tuning of High-Performance Programs. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi |
From Infinity to Choreographies - Extraction for Unbounded Systems. |
LOPSTR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Manolis Pitsikalis, Alexei Lisitsa 0001, Shan Luo 0001 |
Representation and Processing of Instantaneous and Durative Temporal Phenomena. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Vandenbroucke, Tom Schrijvers |
Disjunctive Delimited Control. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | João Barbosa, Mário Florido, Vítor Santos Costa |
Data Type Inference for Logic Programming. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mantovani 0002, Alberto Momigliano |
Towards Substructural Property-Based Testing. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Geoff W. Hamilton |
The Next 700 Program Transformers. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández (eds.) |
Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Juan José González-Abril, Germán Vidal |
Prefix-Based Tracing in Message-Passing Concurrency. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Harald Søndergaard |
String Abstract Domains and Their Combination. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Buszka, Dariusz Biernacki |
Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent |
S-Semantics-an Example. |
LOPSTR |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Galindo 0002, Sergio Pérez 0001, Josep Silva |
Slicing Unconditional Jumps with Unnecessary Control Dependencies. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Gabbrielli (eds.) |
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Terminating Non-disjoint Combined Unification. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
Testing Your (Static Analysis) Truths. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi, Takahito Aoto 0001 |
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jack Hughes 0002, Dominic Orchard |
Resourceful Program Synthesis from Graded Linear Types. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Georg Moser |
Runtime Complexity Analysis of Logically Constrained Rewriting. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba |
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, Yunus D. K. Kutz |
Nominal Unification with Letrec and Environment-Variables. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Farka |
slepice: Towards a Verified Implementation of Type Theory in Type Theory. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Matsuoka |
A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
Generating Functions for Probabilistic Programs. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Symbolic Computation in Maude: Some Tapas. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mario Wenzel, Stefan Brass |
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
Pattern Eliminating Transformations. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
Reasoning in the Theory of Heap: Satisfiability and Interpolation. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Diekhoff, Michael Kirsten, Jonas Krämer |
Verified Construction of Fair Voting Rules. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Bruno Pinaud, János Varga |
A Port Graph Rewriting Approach to Relational Database Modelling. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta 0001 |
Synthesizing Imperative Code from Answer Set Programming Specifications. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta 0001 |
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fred Mesnard, Peter J. Stuckey (eds.) |
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maja Hanne Kirkeby, Robert Glück |
Semi-inversion of Conditional Constructor Term Rewriting Systems. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Laura Panizo |
Trace Analysis Using an Event-Driven Interval Temporal Logic. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Roberto Giacobazzi, Manuel V. Hermenegildo |
Computing Abstract Distances in Logic Programs. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales 0001, Manuel V. Hermenegildo |
A General Framework for Static Cost Analysis of Parallel Logic Programs. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia, Cleo Pau |
Solving Proximity Constraints. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, Gonzague Yernaux |
Generalization-Driven Semantic Clone Detection in CLP. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Casso, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo |
An Integrated Approach to Assertion-Based Random Testing in Prolog. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo |
Incremental Analysis of Logic Programs with Assertions and Open Predicates. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
A Certified Functional Nominal C-Unification Algorithm. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent |
The Prolog Debugger and Declarative Programming. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo |
Multivariant Assertion-Based Guidance in Abstract Interpretation. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Troumpoukis, Angelos Charalambidis |
Predicate Specialization for Definitional Higher-Order Logic Programs. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Nys, Danny De Schreye |
Compiling Control as Offline Partial Deduction. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato |
Eliminating Unstable Tests in Floating-Point Programs. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Fioravanti, John P. Gallagher (eds.) |
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Payet |
Guided Unfoldings for Finding Loops in Standard Term Rewriting. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Maja H. Kirkeby |
Confluence of CHR Revisited: Invariants and Modulo Equivalence. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
Multiparty Classical Choreographies. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Proving Program Properties as First-Order Satisfiability. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer 0001 |
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Carlos Olarte |
An Assertion Language for Slicing Constraint Logic Languages. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Petros Papapanagiotou, Jacques D. Fleuriot |
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Analysis of Rewriting-Based Systems as First-Order Theories. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Abel Garcia |
Deadlock Detection of Java Bytecode. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Huu-Vu Nguyen, Tayssir Touili |
CARET Analysis of Multithreaded Programs. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
Nominal C-Unification. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michele Alberti, Julien Signoles |
Context Generation from Formal Specifications for C Analysis Tools. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna 0001 |
A Certified Reference Validation Mechanism for the Permission Model of Android. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gergö Barany |
Liveness-Driven Random Program Generation. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maja H. Kirkeby, Henning Christiansen 0001 |
Confluence and Convergence in Probabilistically Terminating Reduction Systems. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christiane Engels, Andreas Behrend, Stefan Brass |
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Predicate Pairing with Abstraction for Relational Verification. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Sergio Pérez 0001, Josep Silva, Salvador Tamarit |
Erlang Code Evolution Control. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Combining Static and Dynamic Contract Checking for Curry. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Gutiérrez, José Meseguer 0001 |
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bodini, Paul Tarau |
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Umer Liqat, Zorana Bankovic, Pedro López-García 0001, Manuel V. Hermenegildo |
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Aït-Kaci, Gabriella Pasi |
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
Generation of Initial Contexts for Effective Deadlock Detection. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Pedro López-García 0001 (eds.) |
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Skeirik, Andrei Stefanescu, José Meseguer 0001 |
A Constructor-Based Reachability Logic for Rewrite Theories. |
LOPSTR |
2017 |
DBLP DOI BibTeX RDF |
|