MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
Split Decisions: Explicit Contexts for Substructural Languages
2025 D. Zackon, C. Sano, A. Momigliano, B. Pientka
More Church-Rosser Proofs in BELUGA
2024 A. Momigliano, M. Sassella
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024 A. Bruni, A. Momigliano
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
A Beluga Formalization of the Harmony Lemma in the π-Calculus
2024 A. Momigliano
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
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
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
The Blame Game for Property-based Testing
2019 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
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
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano