2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2019★ 2 cited
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
Ali Abbassi, Nancy A. Day, Derek Rayside
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, a…
math.LO2018
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?
Will Boney, Barbara F. Csima, Nancy A. Day +1
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, le…