BibSLEIGH — Mario

Travelled to:

1 × Cyprus
1 × Denmark
1 × Hungary
1 × The Netherlands
2 × Belgium
2 × Spain
2 × Sweden
2 × United Kingdom
3 × USA
4 × Italy

Collaborated with:

K.Lau A.Momigliano C.Fiorentini P.Flener P.Miglioli U.Moscato M.Ferrari ∅ S.Tärnlund I.Poernomo J.K.Filipe H.Yatsu A.Pettorossi M.Proietti

Talks about:

logic (19) program (14) synthesi (8) correct (7) deduct (6) comput (6) construct (5) specif (5) transform (4) framework (4)

Person: Mario Ornaghi

DBLP: Ornaghi:Mario

Contributed to:

2010

2009

2007

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1989

Wrote 27 papers:

ICMT-2010-FiorentiniMOP #approach #model transformation #testing: A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
CBSE-2009-LauO #calculus #component #composition #encapsulation: Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.
LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented: Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
LOPSTR-2004-LauMO #composition #specification: Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
PDCL-2004-LauO #composition #development #logic #specification: Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
LOPSTR-2003-LauO #logic #object-oriented: Correct OO Systems in Computational Logic (KKL, MO), pp. 34–53.
LOPSTR-2002-LauO #design #framework #logic #object-oriented #towards: Towards Correct Object-Oriented Design Frameworks in Computational Logic (KKL, MO), pp. 260–261.
LOPSTR-2001-FerrariFO #bound #logic #proving: Extracting Exact Time Bounds from Logical Proofs (MF, CF, MO), pp. 245–266.
LOPSTR-2001-LauO #logic #object-oriented: Correct Object-Oriented Systems in Computational Logic (KKL, MO), pp. 168–190.
CL-2000-LauO #logic programming #semantics #source code: Isoinitial Semantics for Logic Programs (KKL, MO), pp. 223–238.
ICLP-1999-LauO #logic programming #modelling #source code: Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.
LOPSTR-1999-FilipeLOY #aspect-oriented #component #development #framework #logic #object-oriented #on the: On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic (JKF, KKL, MO, HY), pp. 42–61.
LOPSTR-1998-LauO #component #development #framework #logic #object-oriented: OOD Frameworks in Component-Based Software — Development in Computational Logic (KKL, MO), pp. 101–123.
ASE-1997-FlenerLO #source code #synthesis: Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.
LOPSTR-1997-FlenerLO #on the: On Correct Program Schemas (PF, KKL, MO), pp. 128–147.
LOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards: Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.
LOPSTR-1996-LauO #case study #logic #specification: Forms of Logic Specifications: A Preliminary Study (KKL, MO), pp. 295–312.
ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis: A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.
ILPS-1995-LauOPP #correctness #logic programming #program transformation #termination: Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.
LOPSTR-1995-LauO #deduction #logic programming #object-oriented #source code #synthesis #towards: Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs (KKL, MO), pp. 152–169.
ICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis: The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.
LOPSTR-1994-LauO #deduction #framework #logic programming #on the #source code #specification #synthesis: On Specification Frameworks and Deductive Synthesis of Logic Programs (KKL, MO), pp. 104–121.
ICLP-1993-LauO #deduction #logic programming #source code #synthesis: An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.
LOPSTR-1993-LauO #deduction #logic programming #source code #specification #synthesis: A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs (KKL, MO), pp. 10–31.
LOPSTR-1992-Ornaghi #proving: Proof Nets (MO), pp. 61–79.
LOPSTR-1991-MiglioliMO #specification #synthesis: Program Specification and Synthesis in Constructive Formal Systems (PM, UM, MO), pp. 13–26.
CAAP-1989-MiglioliMO #axiom #data type: Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types (PM, UM, MO), pp. 337–351.