Travelled to:1 × Poland
Collaborated with:P.Miglioli M.Ornaghi A.Avellone C.Fiorentini G.Fiorino
Talks about:construct (3) system (2) formal (2) implement (1) synthesi (1) calculus (1) abstract (1) tableau (1) program (1) axiomat (1)
Person: Ugo Moscato
DBLP: Moscato:Ugo
Contributed to:
2004
1991
1989Wrote 3 papers:
- CSL-2004-AvelloneFFM #calculus #implementation #logic #performance
- A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
- 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.