Emanuele De Angelis
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Historical Perspective on Program Transformation and Recent Developments (Invi... | PEPM 2024 | 2024-01-16 |
Historical survey ties classic transformation techniques to concrete outcomes: rule-based unfolding/folding rules plus strategies produce a linear-time… | ||
| Constrained Horn Clauses Satisfiability via Catamorphic Abstractions | LOPSTR 2023 | 2023-10-23 |
A terminating unfolding/folding transformation removes algebraic-data-type arguments from Constrained Horn Clauses by encoding user-specified… | ||
| Multiple Query Satisfiability of Constrained Horn Clauses | PADL 2023 | 2023-01-16 |
A sound and complete equisatisfiable transformation rewrites a CHC set with multiple queries so each output query incorporates constraints from the others… | ||
| nothing matches | ||