34 citations · 34 across the 4 of their papers we have counts for
4 papers
Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
Alexander Baumgartner, Temur Kutsia
This paper introduces a novel anti-unification algorithm for the generalization of variadic structures with binders, designed as a flexible tool for structural code comparison. By…
Nominal anti-unification
Alexander Baumgartner, Temur Kutsia, Jordi Levy +1
We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general…
Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
Daniele Nantes-Sobrinho, Manfred Schmidt-Schauss, Alexander Baumgartner +1
Generalization problems in languages with binders involve computing the most common structure between expressions while respecting bound variable renaming and freshness constraints…
Measuring the dynamics of a first order structural phase transition between two configurations of a superradiant crystal
Xiangliang Li, Davide Dreon, Philip Zupancic +6
We observe a structural phase transition between two configurations of a superradiant crystal by coupling a Bose-Einstein condensate to an optical cavity and applying imbalanced tr…