Static Analysis for Safe Destructive Updates in a Functional Language.

Natarajan Shankar

Published in: LOPSTR (2001)

Keyphrases

static analysis
functional language
functional programming
dynamic analysis
programming language
source code
proof planning
regular expressions
test suite
object identity
object oriented programming
general purpose
database
query language
execution model
data structure
artificial intelligence
data mining