Abstract Predicates and Mutable ADTs in Hoare Type Theory.

Aleksandar Nanevski Amal Ahmed Greg Morrisett Lars Birkedal

Published in: ESOP (2007)

Keyphrases

abstract data types
data model
database
high level
theoretical framework
petri net
relational database systems