Alberto Momigliano
Alberto Momigliano
Verified email at di.unimi.it - Homepage
Title
Cited by
Cited by
Year
Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax
A Felty, A Momigliano
Journal of Automated Reasoning 48 (1), 43-105, 2012
762012
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theoretical Computer Science 389 (3), 411-445, 2007
732007
Automatic certification of heap consumption
L Beringer, M Hofmann, A Momigliano, O Shkaravska
International Conference on Logic for Programming Artificial Intelligence …, 2005
602005
Combining higher order abstract syntax with tactical theorem proving and (co) induction
SJ Ambler, RL Crole, A Momigliano
International Conference on Theorem Proving in Higher Order Logics, 13-30, 2002
602002
Induction and co-induction in sequent calculus
A Momigliano, A Tiu
International Workshop on Types for Proofs and Programs, 293-308, 2003
562003
A program logic for resource verification
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
International Conference on Theorem Proving in Higher Order Logics, 34-49, 2004
412004
Two-level Hybrid: A system for reasoning using higher-order abstract syntax
A Momigliano, AJ Martin, AP Felty
Electronic Notes in Theoretical Computer Science 196, 85-93, 2008
392008
A constructive approach to testing model transformations
C Fiorentini, A Momigliano, M Ornaghi, I Poernomo
International Conference on Theory and Practice of Model Transformations, 77-92, 2010
352010
A definitional approach to primitive recursion over higher order abstract syntax
SJ Ambler, RL Crole, A Momigliano
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about …, 2003
35*2003
Cut elimination for a logic with induction and co-induction
A Tiu, A Momigliano
Journal of Applied Logic 10 (4), 330-367, 2012
312012
Multi-level meta-reasoning with higher-order abstract syntax
A Momigliano, SJ Ambler
International Conference on Foundations of Software Science and Computation …, 2003
312003
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations
AP Felty, A Momigliano, B Pientka
Journal of Automated Reasoning 55 (4), 307-372, 2015
28*2015
Elimination of negation in a logical framework
A Momigliano
International Workshop on Computer Science Logic, 411-426, 2000
242000
Mechanized metatheory model-checking
J Cheney, A Momigliano
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
222007
Optimisation validation
D Aspinall, L Beringer, A Momigliano
Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007
202007
Mobile resource guarantees
D Sannella, M Hofmann, D Aspinall, S Gilmore, I Stark, L Beringer, ...
Trends in Functional Programming 6, 211-226, 2007
202007
A Hybrid encoding of Howe's method for establishing congruence of bisimilarity
A Momigliano, SJ Ambler, RL Crole
Electronic Notes in Theoretical Computer Science 70 (2), 60-75, 2002
202002
POPLMark reloaded: Mechanizing proofs by logical relations.
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
J. Funct. Program. 29, e19, 2019
18*2019
A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle
A Momigliano, SJ Ambler, RL Crole
14th International Conference on Theorem Proving in Higher Order Logics …, 2001
172001
Check: A mechanized metatheory model-checker
J Cheney, A Momigliano
arXiv preprint arXiv:1704.00617, 2017
162017
The system can't perform the operation now. Try again later.
Articles 1–20