MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
The Concurrent Calculi Formalisation Benchmark
2024 M. Carbone, D. Castro-Perez, F. Ferreira, L. Gheri, F. Krogsdal Jacobsen, A. Momigliano, L. Padovani, A. Scalas, D. Tirore, M. Vassor, N. Yoshida, D. Zackon
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024 A. Bruni, A. Momigliano
More Church-Rosser Proofs in BELUGA
2024 A. Momigliano, M. Sassella
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
MutantChick: Type-Preserving Mutation Analysis for Coq
2020 M. Cavada, A. Colò, A.D.A. Momigliano
Why Proof-Theory Matters in Specification-Based Testing
2020 A.D.A. Momigliano
The Blame Game for Property-based Testing
2019 A. Momigliano
Property-Based Testing via Proof Reconstruction
2019 R. Blanco, D. Miller, A. Momigliano
Formalizing Program Equivalences in Dependent Type Theory
2019 G. Marabelli, 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
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
2018 C. Fiorentini, A. Momigliano, A. Pettorossi
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
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
2018 M. Ferrari, C. Fiorentini, A. Momigliano
Validating the Meta-Theory of Programming Languages (Short Paper)
2017 G. Fachini, A. Momigliano
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017 A. Felty, A. Momigliano, B. Pientka
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano