![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
28th LOPSTR 2018: Frankfurt/Main, Germany
- Fred Mesnard, Peter J. Stuckey:
Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11408, Springer 2019, ISBN 978-3-030-13837-0
Analysis of Term Rewriting
- Salvador Lucas:
Proving Program Properties as First-Order Satisfiability. 3-21 - Étienne Payet:
Guided Unfoldings for Finding Loops in Standard Term Rewriting. 22-37 - María Alpuente
, Angel Cuenca-Ortega
, Santiago Escobar
, José Meseguer:
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. 38-55
Logic-Based Distributed/Concurrent Programming
- Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi
, Agata Murawska:
Multiparty Classical Choreographies. 59-76 - Petros Papapanagiotou
, Jacques D. Fleuriot
:
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. 77-93 - Henning Christiansen
, Maja H. Kirkeby
:
Confluence of CHR Revisited: Invariants and Modulo Equivalence. 94-111
Analysis of Logic Programming
- Vincent Nys, Danny De Schreye
:
Compiling Control as Offline Partial Deduction. 115-131 - Antonis Troumpoukis, Angelos Charalambidis
:
Predicate Specialization for Definitional Higher-Order Logic Programs. 132-147 - Moreno Falaschi
, Carlos Olarte
:
An Assertion Language for Slicing Constraint Logic Languages. 148-165
Program Analysis
- Laura Titolo
, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato:
Eliminating Unstable Tests in Floating-Point Programs. 169-183 - Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo:
Multivariant Assertion-Based Guidance in Abstract Interpretation. 184-201
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.