MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
Towards Substructural Property-Based Testing
2022 M. Mantovani, A. Momigliano
Two Applications of Logic Programming to Coq
2021 M. Manighetti, D. Miller, A.D.A. Momigliano
Why Proof-Theory Matters in Specification-Based Testing
2020 A.D.A. Momigliano
MutantChick: Type-Preserving Mutation Analysis for Coq
2020 M. Cavada, A. Colò, A.D.A. Momigliano
The Blame Game for Property-based Testing
2019 A. Momigliano
POPLMark reloaded: Mechanizing proofs by logical relations
2019 A. Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano, S. Schäfer, K. Stark
Formalizing Program Equivalences in Dependent Type Theory
2019 G. Marabelli, A. Momigliano
Property-Based Testing via Proof Reconstruction
2019 R. Blanco, D. Miller, A. Momigliano
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
2018 M. Ferrari, C. Fiorentini, A. Momigliano
Property-based testing of the meta-theory of abstract machines: An experience report
2018 F. Komauli, A. Momigliano
A case study in programming coinductive proofs: Howe's method
2018 A. Momigliano, B. Pientka, D. Thibodeau
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
2018 C. Fiorentini, A. Momigliano, A. Pettorossi
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017 A. Felty, A. Momigliano, B. Pientka
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano
Validating the Meta-Theory of Programming Languages (Short Paper)
2017 G. Fachini, A. Momigliano
Preface
2016 C. Fiorentini, A. Momigliano
Advances in property-based testing for alpha prolog
2016 J. Cheney, A. Momigliano, M. Pessina
An Open Challenge Problem Repository for Systems Supporting Binders
2015 A. Felty, A. Momigliano, B. Pientka
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
2015 A. Avellone, C. Fiorentini, A. Momigliano