default search action

combined dblp search
author search
venue search
publication search

ask others

31st LOPSTR 2021: Tallinn, Estonia

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2021
Emanuele De Angelis, Wim Vanhoof:
Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Lecture Notes in Computer Science 13290, Springer 2022, ISBN 978-3-030-98868-5
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Sondergaard21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Sondergaard21
Harald Søndergaard:
String Abstract Domains and Their Combination. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BarbosaFC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BarbosaFC21
João Barbosa, Mário Florido, Vítor Santos Costa:
Data Type Inference for Logic Programming. 16-37
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BuszkaB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BuszkaB21
Maciej Buszka, Dariusz Biernacki:
Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. 38-59
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Drabent21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Drabent21
Wlodzimierz Drabent:
S-Semantics-an Example. 60-74
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/VandenbrouckeS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/VandenbrouckeS21
Alexander Vandenbroucke, Tom Schrijvers:
Disjunctive Delimited Control. 75-91
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MantovaniM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MantovaniM21
Marco Mantovani, Alberto Momigliano:
Towards Substructural Property-Based Testing. 92-112
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Hamilton21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Hamilton21
Geoff W. Hamilton:
The Next 700 Program Transformers. 113-134
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PitsikalisLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PitsikalisLL21
Manolis Pitsikalis, Alexei Lisitsa, Shan Luo:
Representation and Processing of Instantaneous and Durative Temporal Phenomena. 135-156
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Gonzalez-AbrilV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Gonzalez-AbrilV21
Juan José González-Abril, Germán Vidal:
Prefix-Based Tracing in Message-Passing Concurrency. 157-175

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.