Publications

Export 5 results:
Sort by: Author Title Type [ Year (Asc)]
1992
Amato, G, Giannotti F, Mainetto G.  1992.  Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
1993
Amato, G, Giannotti F, Mainetto G.  1993.  Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB. :405-415.
Amato, G, Giannotti F, Mainetto G.  1993.  Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.
1994
Amato, G, Giannotti F, Mainetto G.  1994.  Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation. SEBD. :329-349.
1997
Amato, G, Giannotti F, Mainetto G.  1997.  Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL. :413-430.