arXiv:2107.10160v3 [cs.PL] 31 Aug 2021
Pre-proceedings of the 31st International Symposium on
Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
This volume constitutes the pre-proceedings of the 31st International
Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021),
held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person
(at the Teachers' House in Tallinn, Estonia) and virtual, and co-located
with the 23rd International Symposium on Principles and Practice of
Declarative Programming (PPDP 2021).
After discussion at the symposium papers will go through a second round
of refereeing and selection for the formal proceedings.
Editors: Emanuele De Angelis and Wim Vanhoof.
Invited talks
-
String abstract domains and their combination
-
Harald Søndergaard, University of Melbourn
(jointly with PPDP)
Abstract:
Strings are challenging for static analysis.
The perennial problem in static analysis, of finding a good
balance between precision and efficiency, is particularly
unwieldy for string analysis. For static reasoning about strings,
many string facets are of potential relevance, such as length,
shape, and the characters used. Hence abstract interpretations
of string manipulating programs tend to either employ an
expressive but expensive abstract domain, or else combine a
number of cheaper domains, each designed to capture a specific
aspect of strings. In the presentation I will discuss frameworks
for abstract domain combination and survey recent developments
in string static analysis.
-
The Computational Structure of the Universe and of Programs
-
Stephen Wolfram, Wolfram Research
(jointly with PPDP)
Abstract:
I'll talk about my emerging new foundational understanding of
computation based on three large-scale projects: (1) Our recent
Physics Project, which provides a fundamentally computational
model for the low-level operation of our universe, (2) My
long-time investigation of the typical behavior of simple
programs (such as cellular automata, combinators, etc.)
in the computational universe and (3) The long-time development
of the Wolfram Language as a computational language to describe
the world. I'll describe my emerging concept of the
multicomputational paradigm---and some of its implications for
science, distributed computing, language design and the
foundations of computation and mathematics.
Tutorial
-
It is declarative. On practical declarative programming in Prolog
-
Włodzimierz Drabent,
IPI PAN, Poland & Linköping University, Sweden
Abstract:
It often seems that, in the practical programming in Prolog,
not much remains from the ideas of logic programming, or
declarative programming.
We argue that practical programming in Prolog can actually
be made declarative, to an extent larger than usually understood.
We show how to reason about correctness (and completeness)
of programs, and discuss the role of approximate specifications.
We show a systematic way of constructing correct and complete
programs out of specifications.
We recall the forgotten idea of declarative diagnosis
(algorithmic debugging), and show how it could be made
practically viable.
- Data Type Inference for Logic Programming
- Joao Barbosa, Mário Florido and Vítor Santos Costa
(paper
LOPSTR/2021/4
)
-
Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines
- Maciej Buszka and Dariusz Biernacki
(paper
LOPSTR/2021/5
)
- S-semantics - an example
- Włodzimierz Drabent
(paper
LOPSTR/2021/7
)
- Disjunctive Delimited Control
- Alexander Vandenbroucke and Tom Schrijvers
(paper
LOPSTR/2021/8
)
- Towards Substructural Property-Based Testing
- Marco Mantovani and Alberto Momigliano
(paper
LOPSTR/2021/9
)
- On Specialization of a Program Model of Naive Pattern Matching in Strings (Extended Abstract)
- Andrei Nemytykh
(paper
LOPSTR/2021/12
)
- The Next 700 Program Transformers
- Geoff Hamilton
(paper
LOPSTR/2021/13
)
- Representation and Processing of Instantaneous and Durative Temporal Phenomena
- Manolis Pitsikalis, Alexei Lisitsa and Shan Luo
(paper
LOPSTR/2021/14
)
- A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency
- Juan José González-Abril and German Vidal
(paper
LOPSTR/2021/15
)
- A denotational semantics for PROMELA addressing arbitrary jumps
- Marco Comini, Maria-Del-Mar Gallardo and Alicia Villanueva
(paper
LOPSTR/2021/16
)