Research Meeting 21183
Logic Programming Meets Software Language Engineering
( May 03 – May 06, 2021 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/21183
Organizer
- Sebastian Erdweg (Universität Mainz, DE)
Contact
- Heike Clemens (for administrative matters)
While logic programming languages are semantically attractive due to their proof-search and fixpoint semantics, it is not obvious how to best make use of them in software language engineering. During this research stay we will study different logic programming languages and their solvers to figure out their respective advantages and disadvantages. We will explore how typical tasks from software language engineering such type checking, refactoring, and code generation can be encoded and supported by logic programming languages.
Sebastian Erdweg