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 × 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 DBLP: Moscato:Ugo

Contributed to:

CSL 20042004
LOPSTR 19911991
TAPSOFT, Vol.1: CAAP 19891989

Wrote 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.

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.