On the Semantics of Updates in a Functional Language.

Published in: SYRCoDIS (2008)

Keyphrases

functional language
functional programming
object identity
programming language
proof planning
logic programming
databases
object oriented databases
theorem proving
operational semantics