4 papers
A simple formalization of alpha-equivalence
Kalmer Apinis, Danel Ahman
While teaching untyped -calculus to undergraduate students, we were wondering why -equivalence is not directly inductively defined. In this paper, we demonstrate that this is…
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
In the domain of knowledge representation and reasoning within AI, datalog engines play an ever-increasingly crucial role. The crux of their operation lies in materialization: the…
Improving Thread-Modular Abstract Interpretation
Michael Schwarz, Simmo Saan, Helmut Seidl +3
We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants…
Efficiently intertwining widening and narrowing
Gianluca Amato, Francesca Scozzari, Helmut Seidl +2
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…