Static analysis of transactions: an experiment fo abstract Interpretation usage

Conference Paper
Publication Date:
1993
abstract:
We use abstract interpretation to statically analyze transactions defined using a functional persisten database programming language.
Iris type:
04.01 Contributo in Atti di convegno
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/3489