@conference {DBLP:conf/dbpl/AmatoGM97,
	title = {Static Analysis of Transactions for Conservative Multigranularity Locking},
	booktitle = {DBPL},
	year = {1997},
	pages = {413-430},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
@conference {DBLP:conf/sebd/AmatoGM94,
	title = {Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation},
	booktitle = {SEBD},
	year = {1994},
	pages = {329-349},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
@conference {DBLP:conf/vldb/AmatoGM93,
	title = {Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation},
	booktitle = {VLDB},
	year = {1993},
	pages = {405-415},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
@conference {DBLP:conf/fmldo/AmatoGM93,
	title = {Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage},
	booktitle = {FMLDO},
	year = {1993},
	pages = {19-29},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
@conference {DBLP:conf/sas/AmatoGM92,
	title = {Analysis of Concurrent Transactions in a Functional Database Programming Language},
	booktitle = {WSA},
	year = {1992},
	pages = {174-184},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}
}
