default search action

combined dblp search
author search
venue search
publication search

ask others

30th LOPSTR 2020: Bologna, Italy

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Meseguer20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Meseguer20
José Meseguer:
Symbolic Computation in Maude: Some Tapas. 3-36
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/WinklerM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/WinklerM20
Sarah Winkler, Georg Moser:
Runtime Complexity Analysis of Logically Constrained Rewriting. 37-55
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Kikuchi020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Kikuchi020
Kentaro Kikuchi, Takahito Aoto:
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. 56-73
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CirsteaLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CirsteaLM20
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Pattern Eliminating Transformations. 74-92

Unification

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Schmidt-Schauss20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Schmidt-Schauss20
Manfred Schmidt-Schauß, Yunus D. K. Kutz:
Nominal Unification with Letrec and Environment-Variables. 95-112
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ErbaturMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ErbaturMR20
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Terminating Non-disjoint Combined Unification. 113-130

Types

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Farka20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Farka20
Frantisek Farka:
slepice: Towards a Verified Implementation of Type Theory in Type Theory. 133-150
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lopstr/HughesO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/HughesO20
Jack Hughes, Dominic Orchard:
Resourceful Program Synthesis from Graded Linear Types. 151-170

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/EsenR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/EsenR20
Zafer Esen, Philipp Rümmer:
Reasoning in the Theory of Heap: Satisfiability and Interpolation. 173-191
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AmadiniGSSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AmadiniGSSS20
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. 192-209
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/WenzelB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/WenzelB20
Mario Wenzel, Stefan Brass:
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. 210-227

Model Checking and Probabilistic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/KlinkenbergBKKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/KlinkenbergBKKM20
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler:
Generating Functions for Probabilistic Programs. 231-248
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/EnevoldsenJLMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/EnevoldsenJLMS20
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

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CassoM0H20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CassoM0H20
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Testing Your (Static Analysis) Truths. 271-292
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/00020S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/00020S20
Carlos Galindo, Sergio Pérez, Josep Silva:
Slicing Unconditional Jumps with Unnecessary Control Dependencies. 293-308

Logics

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Matsuoka20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Matsuoka20
Satoshi Matsuoka:
A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. 311-328
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Tarau20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Tarau20
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.