Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th 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
a service of 
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.
last updated on 2023-09-22 19:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
