BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × USA
2 × Poland
Collaborated with:
M.Ornaghi C.Fiorentini A.P.Felty J.Cheney S.Ambler F.Pfenning K.Lau R.Blanco D.M.0001 I.Poernomo M.Ferrari
Talks about:
construct (3) reason (3) model (3) logic (3) transform (2) higher (2) order (2) test (2) reconstruct (1) metatheori (1)

Person: Alberto Momigliano

DBLP DBLP: Momigliano:Alberto

Contributed to:

ICMT 20102010
PPDP 20092009
LOPSTR 20072007
PPDP 20072007
LOPSTR 20042004
FoSSaCS 20032003
CSL 20002000
ICLP 19991999
LOPSTR 19971997
PPDP 20192019

Wrote 10 papers:

ICMT-2010-FiorentiniMOP #approach #model transformation #testing
A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
PPDP-2009-FeltyM #hybrid #reasoning
Reasoning with hypothetical judgments and open terms in hybrid (APF, AM), pp. 83–92.
LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented
Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
PPDP-2007-CheneyM #model checking
Mechanized metatheory model-checking (JC, AM), pp. 75–86.
LOPSTR-2004-LauMO #composition #specification
Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
FoSSaCS-2003-MomiglianoA #higher-order #multi #syntax
Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
CSL-2000-Momigliano #framework #logic
Elimination of Negation in a Logical Framework (AM), pp. 411–426.
ICLP-1999-MomiglianoP #higher-order #problem
The Relative Complement Problem for Higher-Order Patterns (AM, FP), pp. 380–394.
LOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards
Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
PPDP-2019-Blanco0M #proving #re-engineering #testing
Property-Based Testing via Proof Reconstruction (RB, DM0, AM), p. 13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.