Stop the war!
Остановите войну!
for scientists:
default search action
27th LOPSTR 2017: Namur, Belgium
- Fabio Fioravanti, John P. Gallagher:
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10855, Springer 2018, ISBN 978-3-319-94459-3
Analysis
- Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Generation of Initial Contexts for Effective Deadlock Detection. 3-19 - Christiane Engels, Andreas Behrend, Stefan Brass:
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. 20-36 - Cosimo Laneve, Abel Garcia:
Deadlock Detection of Java Bytecode. 37-53 - Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo:
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. 54-72 - Huu-Vu Nguyen, Tayssir Touili:
CARET Analysis of Multithreaded Programs. 73-90
Program Development
- Michele Alberti, Julien Signoles:
Context Generation from Formal Specifications for C Analysis Tools. 93-111 - Gergö Barany:
Liveness-Driven Random Program Generation. 112-127 - David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit:
Erlang Code Evolution Control. 128-144
Term Rewriting and CHR
- Thom W. Frühwirth:
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. 147-163 - Maja H. Kirkeby, Henning Christiansen:
Confluence and Convergence in Probabilistically Terminating Reduction Systems. 164-179 - Salvador Lucas:
Analysis of Rewriting-Based Systems as First-Order Theories. 180-197
Theory
- Stephen Skeirik, Andrei Stefanescu, José Meseguer:
A Constructor-Based Reachability Logic for Rewrite Theories. 201-217 - Hassan Aït-Kaci, Gabriella Pasi:
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. 218-234 - Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho:
Nominal C-Unification. 235-251 - Olivier Bodini, Paul Tarau:
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. 252-268
Verification
- Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna:
A Certified Reference Validation Mechanism for the Permission Model of Android. 271-288 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing with Abstraction for Relational Verification. 289-305 - Raúl Gutiérrez, José Meseguer:
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. 306-322 - Michael Hanus:
Combining Static and Dynamic Contract Checking for Curry. 323-340
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.