Alberto Momigliano

According to our database, Alberto Momigliano authored at least 62 papers between 1990 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Split Decisions: Explicit Contexts for Substructural Languages.

Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

A Beluga Formalization of the Harmony Lemma in the π-Calculus.

Gabriele Cecilia, Alberto Momigliano

Proceedings of the Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2024

Property-Based Testing by Elaborating Proof Outlines.

Dale Miller, Alberto Momigliano

CoRR, 2024

The Concurrent Calculi Formalisation Benchmark.

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon

Proceedings of the Coordination Models and Languages, 2024

2023

More Church-Rosser Proofs in BELUGA.

Alberto Momigliano, Martina Sassella

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

2021

Towards Substructural Property-Based Testing.

Marco Mantovani, Alberto Momigliano

Proceedings of the Logic-Based Program Synthesis and Transformation, 2021

2020

Two Applications of Logic Programming to Coq.

Matteo Manighetti, Dale Miller, Alberto Momigliano

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

Why Proof-Theory Matters in Specification-Based Testing.

Alberto Momigliano

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

MutantChick: Type-Preserving Mutation Analysis for Coq.

Matteo Cavada, Andrea Colò, Alberto Momigliano

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

A case study in programming coinductive proofs: Howe's method.

Alberto Momigliano, Brigitte Pientka, David Thibodeau

Math. Struct. Comput. Sci., 2019

POPLMark reloaded: Mechanizing proofs by logical relations.

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark

J. Funct. Program., 2019

Property-Based Testing via Proof Reconstruction.

Roberto Blanco, Dale Miller, Alberto Momigliano

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Formalizing Program Equivalences in Dependent Type Theory.

Giorgio Marabelli, Alberto Momigliano

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

The Blame Game for Property-based Testing.

Alberto Momigliano, Mario Ornaghi

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

Math. Struct. Comput. Sci., 2018

Preface.

Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi

Fundam. Informaticae, 2018

From Constructivism to Logic Programming: an Homage to Mario Ornaghi.

Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Fundam. Informaticae, 2018

Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report.

Francesco Komauli, Alberto Momigliano

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

2017

αCheck: A mechanized metatheory model checker.

James Cheney, Alberto Momigliano

Theory Pract. Log. Program., 2017

Validating the Meta-Theory of Programming Languages (Short Paper).

Guglielmo Fachini, Alberto Momigliano

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description).

Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Advances in Property-Based Testing for $α$Prolog.

James Cheney, Alberto Momigliano, Matteo Pessina

CoRR, 2016

Advances in Property-Based Testing for \alpha Prolog.

James Cheney, Alberto Momigliano, Matteo Pessina

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

J. Autom. Reason., 2015

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic.

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Fundam. Informaticae, 2015

An Open Challenge Problem Repository for Systems Supporting Binders.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks.

Amy P. Felty, Alberto Momigliano, Brigitte Pientka

CoRR, 2015

2013

Focusing on Contraction.

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax.

Amy P. Felty, Alberto Momigliano

J. Autom. Reason., 2012

Cut elimination for a logic with induction and co-induction.

Alwen Tiu, Alberto Momigliano

J. Appl. Log., 2012

2010

A Constructive Approach to Testing Model Transformations.

Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo

Proceedings of the Theory and Practice of Model Transformations, 2010

Proof-Theoretic and Higher-Order Extensions of Logic Programming.

Alberto Momigliano, Mario Ornaghi

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Reasoning with hypothetical judgments and open terms in hybrid.

Amy P. Felty, Alberto Momigliano

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Applying ASP to UML Model Validation.

Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Towards a Type Discipline for Answer Set Programming.

Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi

Proceedings of the Types for Proofs and Programs, International Conference, 2008

2007

A program logic for resources.

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Theor. Comput. Sci., 2007

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax.

Alberto Momigliano, Alan J. Martin, Amy P. Felty

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

Mechanized metatheory model-checking.

James Cheney, Alberto Momigliano

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Snapshot Generation in a Constructive Object-Oriented Modeling Language.

Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2006

Preface.

Alberto Momigliano, Brigitte Pientka

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Optimisation Validation.

David Aspinall, Lennart Beringer, Alberto Momigliano

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

2005

A Constructive Object Oriented Modeling Language for Information Systems.

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

Mobile Resource Guarantees (project evaluation paper).

Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004

A Program Logic for Resource Verification.

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Automatic Certification of Heap Consumption.

Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska

Proceedings of the Logic for Programming, 2004

Constructive Specifications for Compositional Units.

Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003

Higher-order pattern complement and the strict lambda-calculus.

Alberto Momigliano, Frank Pfenning

ACM Trans. Comput. Log., 2003

Induction and Co-induction in Sequent Calculus.

Alberto Momigliano, Alwen Fernanto Tiu

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.

Alberto Momigliano, Jeff Polakow

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

A definitional approach to primitivexs recursion over higher order abstract syntax.

S. J. Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Multi-level Meta-reasoning with Higher-Order Abstract Syntax.

Alberto Momigliano, Simon Ambler

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.

Alberto Momigliano, Simon Ambler, Roy L. Crole

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Preface: Mechanised Reasoning about Languages with Variable Binding 2001.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

2000

Elimination of Negation in a Logical Framework.

Alberto Momigliano

Proceedings of the Computer Science Logic, 2000

1999

The Relative Complement Problem for Higher-Order Patterns.

Alberto Momigliano, Frank Pfenning

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1997

Regular Search Spaces and Constructive Negation.

Alberto Momigliano, Mario Ornaghi

J. Log. Comput., 1997

Towards a Logic for Reasoning About Logic Programs Transformation.

Alberto Momigliano, Mario Ornaghi

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1995

An Introduction to Regular Search Spaces.

Alberto Momigliano, Mario Ornaghi

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993

Regular Search Spaces as a Foundation of Logic Programming.

Alberto Momigliano, Mario Ornaghi

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992

Minimal Negation and Hereditary Harrop Formulae.

Alberto Momigliano

Proceedings of the Logical Foundations of Computer Science, 1992

1990

A Constraint Satisfaction Approach to Operative Management of Aircraft Routing.

Franco Torquati, Massimo Paltrinieri, Alberto Momigliano

Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA, 1990