Publications

Export 5 results:
Sort by: Author Title [ Type (Desc)] Year
Conference Paper
Amato, G, Giannotti F, Mainetto G.  1992.  Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA. :174-184.
Amato, G, Giannotti F, Mainetto G.  1994.  Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation. SEBD. :329-349.
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.  1997.  Static Analysis of Transactions for Conservative Multigranularity Locking. DBPL. :413-430.
Amato, G, Giannotti F, Mainetto G.  1993.  Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage. FMLDO. :19-29.