Static analysis of transactions: an experiment fo abstract Interpretation usage (Contributo in atti di convegno)

Type
Label
  • Static analysis of transactions: an experiment fo abstract Interpretation usage (Contributo in atti di convegno) (literal)
Anno
  • 1993-01-01T00:00:00+01:00 (literal)
Alternative label
  • Giuseppe Amato, Fosca Giannotti, Giovanni Mainetto, (1993)
    Static analysis of transactions: an experiment fo abstract Interpretation usage
    in 5th Workshop on Foundations of Models and Languages for Data and Objects (FMLDO), Aigen (Austria), September 20-24, 1993
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Giuseppe Amato, Fosca Giannotti, Giovanni Mainetto, (literal)
Pagina inizio
  • 19 (literal)
Pagina fine
  • 29 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 93/9 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 11 (literal)
Note
  • DBLP (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche (SITI-CNR) Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche (IIT-CNR) (literal)
Titolo
  • Static analysis of transactions: an experiment fo abstract Interpretation usage (literal)
Abstract
  • We use abstract interpretation to statically analyze transactions defined using a functional persisten database programming language. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it