MOMIGLIANO, ALBERTO DAVIDE ADOLFO

MOMIGLIANO, ALBERTO DAVIDE ADOLFO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Towards Substructural Property-Based Testing 2022 Mantovani M.Momigliano A. Book Part (author) -
Two Applications of Logic Programming to Coq 2021 Alberto Momigliano + Book Part (author) -
Why Proof-Theory Matters in Specification-Based Testing 2020 momigliano Book Part (author) -
MutantChick: Type-Preserving Mutation Analysis for Coq 2020 Alberto Momigliano + Book Part (author) -
The Blame Game for Property-based Testing 2019 A. Momigliano Book Part (author) -
POPLMark reloaded: Mechanizing proofs by logical relations 2019 MOMIGLIANO, ALBERTO + Article (author) -
Formalizing Program Equivalences in Dependent Type Theory 2019 A. Momigliano + Book Part (author) -
Property-Based Testing via Proof Reconstruction 2019 Momigliano, Alberto + Book Part (author) -
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 2018 Fiorentini, CamilloMomigliano, Alberto + Article (author) -
Property-based testing of the meta-theory of abstract machines: An experience report 2018 Momigliano, A. + Book Part (author) -
A case study in programming coinductive proofs: Howe's method 2018 MOMIGLIANO, ALBERTO + Article (author) -
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 2018 C. FiorentiniA. Momigliano + Journal volume (editor) -
alphaCheck : A mechanized metatheory model checker 2017 A. Momigliano + Article (author) -
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions 2017 A. Momigliano + Article (author) -
LOGI: A didactic tool for a beginners' course in logic (system description) 2017 M. OrnaghiC. FiorentiniA. Momigliano Book Part (author) -
Validating the Meta-Theory of Programming Languages (Short Paper) 2017 A. Momigliano + Book Part (author) -
Preface 2016 C. FiorentiniA. Momigliano Book Part (author) -
Advances in property-based testing for alpha prolog 2016 A. Momigliano + Book Part (author) -
An Open Challenge Problem Repository for Systems Supporting Binders 2015 A. Momigliano + Article (author) -
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 2015 C. FiorentiniA. Momigliano + Article (author) -