We use abstract interpretation to statically analyze transactions defined using a functional persisten database programming language.
Static analysis of transactions: an experiment fo abstract Interpretation usage
Giuseppe Amato;Fosca Giannotti;Giovanni Mainetto
1993
Abstract
We use abstract interpretation to statically analyze transactions defined using a functional persisten database programming language.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
