Stop the war!
Остановите войну!
for scientists:
default search action
30th LOPSTR 2020: Bologna, Italy
- Maribel Fernández:
Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings. Lecture Notes in Computer Science 12561, Springer 2021, ISBN 978-3-030-68445-7
Rewriting
- José Meseguer:
Symbolic Computation in Maude: Some Tapas. 3-36 - Sarah Winkler, Georg Moser:
Runtime Complexity Analysis of Logically Constrained Rewriting. 37-55 - Kentaro Kikuchi, Takahito Aoto:
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. 56-73 - Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Pattern Eliminating Transformations. 74-92
Unification
- Manfred Schmidt-Schauß, Yunus D. K. Kutz:
Nominal Unification with Letrec and Environment-Variables. 95-112 - Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Terminating Non-disjoint Combined Unification. 113-130
Types
- Frantisek Farka:
slepice: Towards a Verified Implementation of Type Theory in Type Theory. 133-150 - Jack Hughes, Dominic Orchard:
Resourceful Program Synthesis from Graded Linear Types. 151-170
Verification
- Zafer Esen, Philipp Rümmer:
Reasoning in the Theory of Heap: Satisfiability and Interpolation. 173-191 - Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. 192-209 - Mario Wenzel, Stefan Brass:
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. 210-227
Model Checking and Probabilistic Programming
- Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler:
Generating Functions for Probabilistic Programs. 231-248 - Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba:
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. 249-268
Program Analysis and Testing
- Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Testing Your (Static Analysis) Truths. 271-292 - Carlos Galindo, Sergio Pérez, Josep Silva:
Slicing Unconditional Jumps with Unnecessary Control Dependencies. 293-308
Logics
- Satoshi Matsuoka:
A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. 311-328 - Paul Tarau:
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. 329-344
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.