Follow
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
962012
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theoretical Computer Science 389 (3), 411-445, 2007
852007
Induction and co-induction in sequent calculus
A Momigliano, A Tiu
International Workshop on Types for Proofs and Programs, 293-308, 2003
642003
Combining higher order abstract syntax with tactical theorem proving and (co) induction
SJ Ambler, RL Crole, A Momigliano
Theorem Proving in Higher Order Logics: 15th International Conference …, 2002
632002
Automatic certification of heap consumption
L Beringer, M Hofmann, A Momigliano, O Shkaravska
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
612005
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19, 2019
49*2019
A program logic for resource verification
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theorem Proving in Higher Order Logics: 17th International Conference …, 2004
472004
The next 700 challenge problems for reasoning with higher-order abstract syntax representations: Part 2—a survey
AP Felty, A Momigliano, B Pientka
Journal of Automated Reasoning 55, 307-372, 2015
43*2015
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
422008
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
42*2003
Cut elimination for a logic with induction and co-induction
A Tiu, A Momigliano
Journal of Applied Logic 10 (4), 330-367, 2012
372012
A constructive approach to testing model transformations
C Fiorentini, A Momigliano, M Ornaghi, I Poernomo
Theory and Practice of Model Transformations: Third International Conference …, 2010
362010
Multi-level meta-reasoning with higher-order abstract syntax
A Momigliano, SJ Ambler
Foundations of Software Science and Computation Structures: 6th …, 2003
332003
Elimination of negation in a logical framework
A Momigliano
International Workshop on Computer Science Logic, 411-426, 2000
272000
Optimisation validation
D Aspinall, L Beringer, A Momigliano
Electronic Notes in Theoretical Computer Science 176 (3), 37-59, 2007
232007
Mechanized metatheory model-checking
J Cheney, A Momigliano
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
232007
αCheck: A mechanized metatheory model checker
J Cheney, A Momigliano
Theory and Practice of Logic Programming 17 (3), 311-352, 2017
212017
Project evaluation paper: Mobile resource guarantees
D Sannella, M Hofmann, D Aspinall, S Gilmore, I Stark, L Beringer, ...
Trends in Functional Programming 6, 211-226, 2007
212007
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
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
A Felty, A Momigliano, B Pientka
Mathematical structures in computer science 28 (9), 1507-1540, 2018
192018
The system can't perform the operation now. Try again later.
Articles 1–20